Assertion list for term "equivalent problems".

Results from Ascent++: 1
neighbor HasAequivalent problems 0.30