Assertion list for term "decrease in direction".

Results from Ascent++: 1
thickness CapableOfdecrease in direction 0.35