LOCAL x : SET OF conductive_interconnect_element_terminal_link_armx := [ ] ; END_LOCAL ; IF  relation . precedent_point IN  relatives THEN  RETURN  ( FALSE  ) ; END_IF  ; x := QUERY ( pd <* bag_to_set ( USEDIN ( relation . precedent_point , 'layered_interconnect_module_design_xim.' + 'conductive_interconnect_element_terminal_link_armx.' + 'subsequent_point' ) ) | specific_relation IN TYPEOF ( pd ) ) ; REPEAT i := 1 TO HIINDEX ( x ) ; IF NOT acyclic_conductive_interconnect_element_terminal_link ( x [ i ] , relatives + relation . precedent_point , specific_relation ) THEN RETURN  ( FALSE ) ; END_IF ; END_REPEAT ; RETURN ( TRUE ) ;