Member predicate Parameter :: isValue

Holds if this parameter is a normal value parameter. For example, p is a value parameter in

void M(int p) {
  ...
}