Assertion list
head (aspect of lifter ) → ReceivesAction
Results from Ascent++: 1
head → ReceivesAction → extended on the bench 0.68