Member predicate GuardedControlFlowNode::mustHaveValue
Holds if this control flow node must have abstract value v
. That is, this
control flow node is guarded by a structurally equal expression having
abstract value v
.
predicate mustHaveValue(AbstractValue v)