Holds if this parameter is a reference parameter. For example, p
is a reference parameter in
void M(ref int p) {
...
}
predicate
isRef
(
)