Assertion list
state machine (subgroup of machine ) → ReceivesAction
Results from Ascent++: 1
state machine → ReceivesAction → initialized 0.68