Assertion list for term "lie at different heights".

Results from Ascent++: 1
solder CapableOflie at different heights 0.16