This intention converts a single-branch if expression immediately followed by a return into a single return with an if expression as an argument.