Predicate ConflictingAttributes::conflict

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

predicate conflict(AttributeDefinition earlier, AttributeDefinition later)