Member predicate SecurityOptions::userInputReturned

The return value of the given function is filled in from user input.

predicate userInputReturned(FunctionCall functionCall)