parameter_and_result_profile ::= [ formal_part ] "return" subtype_mark
This rule is called by -> access_to_subprogram_definition
-> access_to_subprogram_definition