In https://github.com/BlockstreamResearch/SimplicityHL/blob/master/src/jet.rs#L326-L329 The full_multiply jets should be taking four arguments, not a pair a tuples.