anchor.diff:  -else.
   -define(debug(S_, L_), ok).
   -endif.
  -
  -%%-define(debug1(S_, L_), io:format(S_, L_)).
  -%%-define(debug1(S_, L_), ok).
   
   %%--------------------------------------------------------------------
   
  
positive.code: 
  state__set_warning_mode(#state{tree_map = TreeMap, fun_tab = FunTab,
                                 races = Races} = State) ->
    ?debug("Starting warning pass\n", []),
    Funs = dict:fetch_keys(TreeMap),
    State#state{work = init_work([top|Funs--[top]]),
  	      fun_tab = FunTab, warning_mode = true,
  
negative.code: 
  %%-define(DEBUG, true).
  %%-define(DEBUG_PP, true).
  %%-define(DOT, true).
  
  -ifdef(DEBUG).
  