LOCAL next_jlr_in_loop_set : SET [ 1 : ? ] OF joint_logical_relationship ; END_LOCAL ; IF  ( ( relation_1 . loop :<>: relation_2 . loop ) OR ( relation_1 :=: relation_2 ) ) THEN  RETURN  ( FALSE  ) ; ELSE  IF  ( relation_1 . next_joint_logical_structure :=: relation_2 . previous_joint_logical_structure ) THEN  RETURN  ( TRUE ) ; ELSE  next_jlr_in_loop_set := QUERY ( relation <* bag_to_set ( USEDIN ( relation_1 . next_joint_logical_structure , 'kinematic_structure_schema.joint_logical_relationship.' + 'previous_joint_logical_structure' ) ) | relation . loop :=: relation_1 . loop ) ; IF ( SIZEOF ( next_jlr_in_loop_set ) <> 1 ) THEN RETURN  ( FALSE ) ; ELSE RETURN ( connected_in_simple_loop ( next_jlr_in_loop_set [ 1 ] , relation_2 ) ) ; END_IF  ; END_IF  ; END_IF ;