Member predicate Variable :: isParameter
Holds if this variable is a parameter.
predicate
isParameter
(
)