Assertion list
preemption (primary) → ReceivesAction
Results from Ascent++: 2
preemption → ReceivesAction → enabled 0.56
preemption → ReceivesAction → justified 0.39