LOCAL
      x : SET OF Library_to_design_stack_model_mapping := [];
  END_LOCAL;

      IF  relation. relating_view IN  relatives THEN
        RETURN  (FALSE);
      END_IF;
        x := QUERY(pd <* bag_to_set(USEDIN(relation. relating_view,
          'LAYERED_INTERCONNECT_COMPLEX_TEMPLATE_ARM.' +
          'LIBRARY_TO_DESIGN_STACK_MODEL_MAPPING.' +
          'RELATED_VIEW')) | specific_relation IN TYPEOF(pd));
      REPEAT i := 1 TO HIINDEX(x);
        IF NOT acyclic_library_to_design_stack_model_mapping(x[i], relatives +
          relation. relating_view, specific_relation) THEN
          RETURN  (FALSE);
        END_IF;
      END_REPEAT;
    RETURN (TRUE);