let
smt_solver = !smt_solver