Flags a declaration of a dispatching operation, if the first parameter is
not a controlling one and its name is not
This (the check for
parameter name is not case-sensitive). Declarations of dispatching functions
with controlling result and no controlling parameter are never flagged.
A subprogram body declaration, subprogram renaming declaration or subprogram body stub is flagged only if it is not a completion of a prior subprogram declaration.
This rule has no parameters.