Member predicate Expr :: mayHaveBooleanValue
Holds if this expression may evaluate to b
.
predicate
mayHaveBooleanValue
(
boolean
b
)