Member predicate Expr::mayHaveStringValue

Holds if this expression may evaluate to s.

predicate mayHaveStringValue(string s)