LOCAL typenames : SET OF STRING := TYPEOF ( ref ) ; func : maths_function ; END_LOCAL ; IF  ( NOT  EXISTS  ( ref ) ) OR ( NOT EXISTS ( used ) ) THEN  RETURN  ( FALSE  ) ; END_IF  ; IF  ( schema_prefix + 'maths_space' ) IN  typenames THEN  RETURN  ( TRUE  ) ; END_IF  ; func := ref ; IF  func IN  used THEN  RETURN  ( FALSE ) ; END_IF  ; IF  ( schema_prefix + 'constant_function' ) IN  typenames THEN  RETURN  ( no_cyclic_domain_reference ( func \ constant_function . source_of_domain , used + [ func ] ) ) ; END_IF  ; IF  ( schema_prefix + 'selector_function' ) IN  typenames THEN  RETURN  ( no_cyclic_domain_reference ( func \ selector_function . source_of_domain , used + [ func ] ) ) ; END_IF  ; IF ( schema_prefix + 'parallel_composed_function' ) IN typenames THEN RETURN  ( no_cyclic_domain_reference ( func \ parallel_composed_function . source_of_domain , used + [ func ] ) ) ; END_IF ; RETURN ( TRUE ) ;