Member predicate Expr::Expr::mayHaveStringValue

Holds if this expression may evaluate to s.

predicate mayHaveStringValue(string s)