Member predicate Expr :: mayHaveStringValue
Holds if this expression may evaluate to s.
predicate
mayHaveStringValue
(
string
s
)