anchor.diff:  	    worker_loop(-1, Env, Opts);
   	false ->
   	    receive
  -		{stop}           -> exit(normal);
  +		stop             -> exit(normal);
   		{continue, Load} -> worker_loop(Load, Env, Opts)
   	    end
       end.
  
positive.code: 
  -spec stop_workers([pid()]) -> 'ok'.
  stop_workers(Workers) ->
      lists:foreach(fun(Pid) -> Pid ! {stop} end, Workers).
  
  -spec send_states([any_state()], non_neg_integer(), [pid(),...]) ->
  	  non_neg_integer().
  
negative.code: 		true ->
  		    coordinator ! {winning, FilteredState},
  		    receive
  			stop -> exit(normal)
  		    end;
  		false ->
  		    Prepare = fun(E) -> worker_prep(E, Opts) end,
  