Assertion list for term "thrown by doprivileged(privilegedexceptionaction".
Results from Ascent++: 1
exception → ReceivesAction → thrown by doprivileged(privilegedexceptionaction 0.28