let smt_solver = !smt_solver