Assertion list for term "left in the hole".

Results from Ascent++: 1
distributor ReceivesActionleft in the hole 0.16