occurrences

occurrences 
      ::= simple_value_spec 

This rule is called by

-> allocate_descriptor_stmt