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