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
)