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
.