Flag each explicit
return statement in procedures, and
return statements in functions.
Diagnostic messages are generated for all
in a procedure (thus each procedure must be written so that it
returns implicitly at the end of its statement part),
and for all
return statements in a function after the first one.
This rule supports the stylistic convention that each subprogram
should have no more than one point of normal return.
This rule has no parameters.