Assertion list
engine (aspect of glider ) → ReceivesAction
Results from Ascent++: 3
engine → ReceivesAction → removed 0.25
engine → ReceivesAction → started 0.25
engine → ReceivesAction → stopped 0.25