Assertion list
parent process (subgroup of process ) → ReceivesAction
Results from Ascent++: 2
parent process → ReceivesAction → terminated 0.50
parent process → ReceivesAction → suspended 0.31