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

    IF  relation.primary_stackup_model IN  relatives THEN
      RETURN  (FALSE);
    END_IF;
      x := QUERY(pd <* bag_to_set(USEDIN(relation.primary_stackup_model,
        'FABRICATION_TECHNOLOGY_ARM.' + 'EQUIVALENT_STACKUP_MODEL_DEFINITION.' +
        'EQUIVALENT_STACKUP_MODEL')) | specific_relation IN TYPEOF(pd));
    REPEAT i := 1 TO HIINDEX(x);
      IF NOT acyclic_equivalent_stackup_model_definition(x[i], relatives +
        relation.primary_stackup_model, specific_relation) THEN
        RETURN  (FALSE);
      END_IF;
    END_REPEAT;
  RETURN (TRUE);