sdeclarative

sdeclarative:=

assertions | sassertion

statements | smodule_definition

statements | sunion_decl

statements | sstruct_decl

statements | stype_alias

functions | sfunction_definition

functions | sobject_definition

functions | sprocedure_definition