### Describe the feature The problem and its solution can be found in merged SimplicityHL PR [#392](https://github.com/BlockstreamResearch/SimplicityHL/pull/392). This functionality is already included in `v0.7.2`.
Describe the feature
The problem and its solution can be found in merged SimplicityHL PR #392. This functionality is already included in
v0.7.2.