Predicate DuplicateAttributes::duplicate

Holds if earlier and later are attribute definitions with the same name and the same value, where earlier appears textually before later.

predicate duplicate(AttributeDefinition earlier, AttributeDefinition later)