Holds if this parameter is a value type that is passed in by reference.
For example, p
is an input parameter in
void M(in int p) {
...
}
predicate
isIn
(
)