Member predicate DataFlow::Node::mayHaveBooleanValue

Holds if this node may evaluate to the Boolean value b.