let reset () =
      Stack.clear call_stack;
      last_stmt := dummyStmt;
      { map = M.empty;
        leaks = Leaks.empty;
        subst = Subst.empty }