feat(cil2smt2): add var_decls in output