protected_body_stub

protected_body_stub ::= 
      "protected" "body" defining_identifier "is" "separate" ";" 

This rule is called by

-> body_stub