Member predicate DataFlow::DataFlow::Node::mayHaveBooleanValue

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

predicate mayHaveBooleanValue(boolean b)