When an IfInstruction was created with resultType=bool, because only values 0 or 1 are possible, then we need to preserve this property in transforms -- otherwise the added correctness test would fail.