shrinkCompiled :: CompiledCode a -> CompiledCode a
shrinkCompiled = shrinkCompiledSp defaultShrinkParams

shrinkCompiledSp :: ShrinkParams -> CompiledCode a -> CompiledCode a
shrinkCompiledSp sp comped =
  let asScript = fromCompiledCode comped
      script@(Script prog') = shrinkScriptSp sp asScript
      prog = programMapNames fakeNameDeBruijn prog'
      scriptBc = toStrict $ serialise script
   in case comped of