Assertion list
time (aspect of flea ) → ReceivesAction
Results from Ascent++: 2
time → ReceivesAction → sealed 0.41
time → ReceivesAction → killed 0.16