Member predicate SecurityOptions::raisesPrivilege

This predicate should hold if the expression raises privilege for the current session. The default definition only holds true for some example code in the test suite. This predicate must be extended for a particular code base to be useful.

predicate raisesPrivilege(Expr expr)