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