Member predicate SecurityOptions::isPureFunction

This predicate should hold if the function with the given name is a pure function of its arguments.

predicate isPureFunction(string name)