Assertion list
chinch bug (primary) → ReceivesAction
Results from Ascent++: 2
chinch bug → ReceivesAction → easy to control 0.55
chinch bug → ReceivesAction → applied 0.34