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