running process subgroup of process, 4 assertions
HasA 1
at least one thread 0.84
ReceivesAction 3
preempted 0.45
removed 0.41
stopped 0.36