Assertion list for term "one of two values".

Results from Ascent++: 1
bit HasAone of two values 0.51