cps of "if" fixed