Member predicate Expr :: mayReferToParameter
Holds if this expression may refer to the initial value of parameter p
.
predicate
mayReferToParameter
(
Parameter
p
)