Member predicate Expr::Expr::mayHaveBooleanValue

Holds if this expression may evaluate to b.

predicate mayHaveBooleanValue(boolean b)