Assertion list
lifetime (aspect of led ) → ReceivesAction
Results from Ascent++: 2
lifetime → ReceivesAction → reduced 0.68
lifetime → ReceivesAction → shortened 0.25