Removed Z3 tests. Moved to epagoge