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

Holds if this node may evaluate to the string s.

predicate mayHaveStringValue(string s)