anchor.diff:  trim_backstep(Entry) -> {get_state(Entry)}.
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  -% Utility functions
  +%% Utility functions
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
   -spec worker_prep(imm_hashentry(), #opts{}) -> any_entry().
  
positive.code:     Pid ! {continue, Load + 1},
      wake_workers_tr(Load, Overflow - 1, Rest).
  
  -spec stop_workers([pid()]) -> _.
  stop_workers(Workers) ->
      send_to_all(Workers, {stop}).
  
  -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).
  
negative.code: winning(Env, State, Opts) ->
      (Opts#opts.module):winning(Env, State).
  
  -spec reverse_path(state(), #opts{}) -> [state(),...].
  reverse_path(State, Opts) ->
      reverse_path(State, [], Opts).
  
  -spec reverse_path(state(), [state()], #opts{}) -> [state(),...].
  reverse_path(State, Path, Opts) ->
      case hash_lookup(compress(State, Opts)) of
  	[{_S,none}] ->
  