Member predicate Variable::isParameter

Holds if this variable is a parameter.

predicate isParameter()