Assertion list for term "take two values".

Results from Ascent++: 1
function CapableOftake two values 0.34