If the number of results of the parent arc.if did not match the
number of operands to arc.block.result the verifier would crash with
a segfault during type verification. The fix is to check that the
number of results match before trying to verify the types.
If the number of results of the parent
arc.ifdid not match the number of operands toarc.block.resultthe verifier would crash with a segfault during type verification. The fix is to check that the number of results match before trying to verify the types.