Implement strict OP_IF