Assertion list
frying (primary) → ReceivesAction
Results from Ascent++: 1
frying → ReceivesAction → avoided 0.34