Contract, Reassoc and Transform bits control how an operation can be treated in combination with its arguments. It was not intended that decorating an operation with 'Contract' allows its operands to be contracted independently with other instructions.
Contract, Reassoc and Transform bits control how an operation can be treated in combination with its arguments. It was not intended that decorating an operation with 'Contract' allows its operands to be contracted independently with other instructions.
Fixes #237.