Holds if this parameter has a name.
In other words, this predicate holds precisely when the result of
getName() is not “(unnamed parameter i)” (where i is the index
of the parameter).
predicate
isNamed
(
)