This intention converts an assignment with an if right-hand side to an if expression where each branch is terminated with an assignment.