Assertion list for term "lie on the boundary".

Results from Ascent++: 1
variable CapableOflie on the boundary 0.30