If takes into account side-effects in the pred.

By passing the environment created by evaluating the predicate down to
the the two branches.