For an overview of this library, along with tutorials and examples, see CodeQL for C#
Holds if this data flow node must have abstract value v. That is, this
data flow node is guarded by a structurally equal expression having
abstract value v.
predicate mustHaveValue(AbstractValue v)