anchor.diff:  %% The return value is ignored.
   %%--------------------------------------------------------------------
   -spec(terminate/2::(any(), #state{}) -> ok).
  -terminate(_Reason, _State) ->
  -    ok.
  +terminate(_Reason, _State=#state{dets_tab=TabFile}) ->
  +    dets:close(TabFile),
  +    file:delete(TabFile).
   
   %%--------------------------------------------------------------------
   %% Func: code_change(OldVsn, State, Extra) -> {ok, NewState}
  
positive.code: 
  -export([start_ast_server/0, get_ast/1, update_ast/2]).
  
  -record(state, {asts=[]}).
  
  %%====================================================================
  %% API
  
negative.code: -spec(handle_cast/2::({update, {{filename(), boolean(), [dir()]}, {syntaxTree(), moduleInfo(), modifyTime()}}}, #state{}) ->
      {noreply, #state{}}).
  handle_cast({update, {Key, {AnnAST, Info, Time}}}, State) ->
      update_ast_1({Key, {AnnAST, Info, Time}}, State),
      {noreply, State}.
  
  %%--------------------------------------------------------------------
  %% Function: handle_info(Info, State) -> {noreply, State} |
  