default_name ::= name
This rule is called by -> formal_subprogram_declaration
-> formal_subprogram_declaration