Assertion list for term "reject".

Results from Ascent++: 1
default HasPropertyreject 0.30