LOCAL s : SET OF property_bsu := [ ] ; END_LOCAL ; s := s + USEDIN ( cl , 'iso13584_iec61360_dictionary_schema' + '.property_bsu.name_scope' ) ; IF  SIZEOF ( cl . definition ) = 0 THEN  RETURN  ( s ) ; ELSE IF EXISTS ( cl . definition [ 1 ] \ class . its_superclass ) THEN s := s + compute_known_visible_properties ( cl . definition [ 1 ] \ class . its_superclass ) ; END_IF  ; RETURN ( s ) ; END_IF ;