Member predicate Call :: hasNoArguments
Holds if this call has no arguments.
predicate
hasNoArguments
(
)