Assertion list
taboo (primary) → ReceivesAction
Results from Ascent++: 1
taboo → ReceivesAction → broken 0.59