Assertion list for term "cut with gap".

Results from Ascent++: 1
label ReceivesActioncut with gap 0.25