Assertion list for term "two different inputs".

Results from Ascent++: 1
ideal HasAtwo different inputs 0.32