Assertion list for term "executed in privileged mode".

Results from Ascent++: 1
command ReceivesActionexecuted in privileged mode 0.27