Extraneous `And` child on DecoderResult

[sabastiaan]

The Decoder Result has an out going child to an And node with 1 or more children all connecting to const_1_1 which is trivially true.

The number of edges from the and node to the const node can vary, did not figure out why yet.

Example witnesses instructions: 90 488b90

[lkorenc]

Perfect target for eqsat rule.

[xlauko]

@lkorenc when I use circuitous-lift --os macos --logtostderr --arch x86 --dbg --ciff-in ./ands.ciff

with 488b90 bytes in ands.ciff I explode in the CircuitSmithy.

The same command but with --bytes-in 488b90 works.