IfTest opcode typing.