add dependence between smt2 files