Implement EXEC.IF and associated test case