Member predicate DataFlow::DataFlow::Node::mayReferToParameter

Holds if this expression may refer to the initial value of parameter p.

predicate mayReferToParameter(Parameter p)