add smt2 context without log