Assertion list for term "pass through one of the values".

Results from Ascent++: 1
function CapableOfpass through one of the values 0.33