Assertion list
bung (primary) → ReceivesAction
Results from Ascent++: 1
bung → ReceivesAction → replaced 0.63