The basic idea is to add a preprocessing step that would remove witness and param "modules" from the source before sending those to simc cc https://github.com/BlockstreamResearch/SimplicityHL/pull/323
The basic idea is to add a preprocessing step that would remove witness and param "modules" from the source before sending those to simc
cc BlockstreamResearch/SimplicityHL#323