Assertion list for term "increase in first direction".

Results from Ascent++: 1
thickness CapableOfincrease in first direction 0.39