Member predicate 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.