Assertion list
running process (subgroup of process ) → ReceivesAction
Results from Ascent++: 3
running process → ReceivesAction → preempted 0.45
running process → ReceivesAction → removed 0.41
running process → ReceivesAction → stopped 0.36