Z3 Implementation of Constraint Class

Implementation of Constraint State class with Z3 using current Z3 implementation (no advanced pruning strategy yet).

Add Unit-Tests for all features.

Afterward, delete all classes form old implementation which are not needed anymore.

--> Examples from ATVA paper should run in the implementation.