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

Holds if this node may evaluate to the string s.

predicate mayHaveStringValue(string s)