Changed arguments for Z3 backend