anchor.diff:      Pid ! {continue, Load + 1},
       wake_workers_tr(Load, Overflow - 1, Rest).
   
  --spec stop_workers([pid()]) -> _.
  +-spec stop_workers([pid()]) -> 'ok'.
   stop_workers(Workers) ->
  -    send_to_all(Workers, {stop}).
  -
  --spec send_states([any_state()], non_neg_integer(), [pid()]) ->
  +    lists:foreach(fun(Pid) -> Pid ! {stop} end, Workers).
  +
  +-spec send_states([any_state()], non_neg_integer(), [pid(),...]) ->
   	  non_neg_integer().
   send_states(States, Next, Workers) ->
       send_states_tr(States, lists:nthtail(Next, Workers), Workers).
  
positive.code:     end.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % Parallel Run
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec bfs_paral(environment(), state(), #opts{}) -> answer() | answer_S().
  
negative.code: -module(search).
  
  -export([bfs/4, worker/2]).
  %% CAUTION: worker needs to be exported if it is to be called from the shell
  
  -type state() :: _.
  -type environment() :: _.
  