Enabled checking for missing identifier in connection declarations
added annex subclause to property set
added checking for provides only or requires only on subprogram access
and subprogram group access.