Added (if ...) to CPS small step interpreter.