Member predicate 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
(
)