This intention converts a return with an if expression as a result to an if expression where each branch is terminated with a separate return.