Assertion list for term "pressured in either case".

Results from Ascent++: 1
spine ReceivesActionpressured in either case 0.45