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