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