Z3 support
Error checking
Finished z3 and cvc4 support