Member predicate Expr::mayReferToParameter

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