Member predicate DataFlow::DataFlow::Node::mayHaveStringValue

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

predicate mayHaveStringValue(string s)