Assertion list for term "unable to cross".

Results from Ascent++: 1
ghost ReceivesActionunable to cross 0.24