proper_body

proper_body ::= subprogram_body | package_body | task_body | protected_body 

This rule is called by

-> body
-> subunit