Member predicate SecurityOptions::userInputArgument

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

predicate userInputArgument(FunctionCall functionCall, int arg)