let trace_extension = "smt2"