Member predicate DataFlow::Node::mayReferToParameter

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