Assertion list
snap trap (subgroup of trap ) → ReceivesAction
Results from Ascent++: 1
snap trap → ReceivesAction → prohibited 0.68