Assertion list for term "used to end process".

Results from Ascent++: 1
command ReceivesActionused to end process 0.25