Assertion list
red lantern (subgroup of lantern ) → ReceivesAction
Results from Ascent++: 1
red lantern → ReceivesAction → hung 0.68