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