Utilities for symbolized states in DIVINE: emptyness, equality, Z3/Q3B integration (SymDIVINE merge)
Add support to extract path condition and data definitions from the symbolized state and to perform emptiness, subsumption, and equality checks on symbolized states. See also #20 (closed), #22.