let debug_smt = !debug_smt