Member predicate Call::Call::hasNoRuntimeArguments

Holds if this call has no arguments that correspond to a parameter of a potential (run-time) target of this call.

predicate hasNoRuntimeArguments()