anchor.diff:  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %%% Set trace flags on processes
   p(Procs0,Flags0) ->
  +    ensure_no_overloaded_nodes(),
       store(p,[Procs0,Flags0]),
       no_store_p(Procs0,Flags0).
   no_store_p(Procs0,Flags0) ->
  
positive.code:     opt(O,{PI,Client,[{timer,{MSec, StopOpts}}|Traci]});
  opt([{timer, MSec}|O],{PI,Client,Traci}) ->
      opt(O,{PI,Client,[{timer,{MSec, []}}|Traci]});
  opt([],Opt) ->
      Opt.
  
  
negative.code: tracer(Nodes,Opt) ->
      {PI,Client,Traci} = opt(Opt),
      %%We use initial Traci as SessionInfo for loop/2
      Pid = start(Traci),
      store(tracer,[Nodes,Opt]),
      do_tracer(Nodes,PI,Client,[{ttb_control, Pid}|Traci]).
  
  do_tracer(Nodes0,PI,Client,Traci) ->
      Nodes = nods(Nodes0),
  