Complete tests for op effects in unevaluated if - 3 new bugs.