Member predicate Expr::InvokeExpr::hasOptionArgument

Holds if the ith argument of this invocation is an object literal whose property name is set to value.

This predicate is an approximation, computed using only local data flow.

predicate hasOptionArgument(int i, string name, Expr value)