cc https://github.com/BlockstreamResearch/SimplicityHL/pull/376#issuecomment-5045769733
cc #376 (comment)