Assertion list for term "satisfy the invariant".

Results from Ascent++: 1
run CapableOfsatisfy the invariant 0.44