Module DomKind

Local Unset Elimination Schemes.
Inductive num_dom_kind :=
| ZIntervals
| Octagons
| Poly
.