Assertion list
loophole (primary) → ReceivesAction
Results from Ascent++: 2
loophole → ReceivesAction → closed 0.73
loophole → ReceivesAction → exploited 0.18