Member predicate Variables::Variable::isParameter

Holds if this variable is a parameter.

predicate isParameter()