fix(tools): make smt2 separate module