Assertion list for term "minimize subsequent stress".

Results from Ascent++: 1
pruning CapableOfminimize subsequent stress 0.40