Member predicate Guards::AbstractValue::branchImplies

Holds if taking the s branch out of cfe implies that e has this value.

predicate branchImplies(ControlFlowElement cfe, ConditionalSuccessor s, Expr e)