anchor.diff:  push_nci() ->
       gen_server:cast(?MODULE, push_nci).
   
  -stop_nci() ->
  -    gen_server:cast(?MODULE, stop_nci).
  +stop_nci(Pid) ->
  +    gen_server:cast(?MODULE, {stop_nci, Pid}).
   
   clean_data() ->
       gen_server:cast(?MODULE, clean_data).
  
positive.code:             State;
          false ->
              Pid = push_nci(Digraph, digraph:no_vertices(Digraph), Limits),
              nci_watchdog(CalcTimeout),
              State#?STATE{calc_pid = Pid}
      end,
      {noreply, NewState, hibernate};
  
negative.code:          ordered_edge/1,
           ordered_edges/1,
           setlimit/2,
           stop_nci/1,
           save/1,
           load/1]).
  
  