Assertion list for term "added to raise ph".

Results from Ascent++: 1
drop ReceivesActionadded to raise ph 0.31