Assertion list for term "different identifier".

Results from Ascent++: 1
handle HasAdifferent identifier 0.29