Member predicate DataFlow::DataFlow::ValueNode::mayHaveStringValue

Holds if this node may evaluate to the string s, possibly through local data flow.

predicate mayHaveStringValue(string s)