Assertion list for term "undiscounted".

Results from Ascent++: 1
estimate HasPropertyundiscounted 0.27