Holds if this parameter is a normal value parameter. For example, p
is a value parameter in
void M(int p) {
...
}
predicate
isValue
(
)