Assertion list for term "guaranteed to be running".

Results from Ascent++: 1
projector ReceivesActionguaranteed to be running 0.32