anchor.diff:      Next =
           case ?SETS:is_element(LastLid, Active) of
               true ->
  -                ?f_debug("Can continue with LastLid\n"),
                   TmpActive = ?SETS:to_list(?SETS:del_element(LastLid, Active)),
                   {LastLid,TmpActive, next};
               false ->
                   [Head|TmpActive] = ?SETS:to_list(Active),
  -                ?f_debug("Can NOT continue with LastLid. Pick ~p.\n",[Head]),
                   {Head, TmpActive, current}
           end,
       {NewContext, Insert} = run_no_block(Context, Next),
  
positive.code:     case state_load() of
          no_state -> {RunCnt - 1, Tickets, false};
          ReplayState ->
              log:log("Running interleaving ~p~n", [RunCnt]),
              ?debug_1("Running interleaving ~p~n", [RunCnt]),
              ?debug_1("----------------------~n"),
              lid:start(),
  
negative.code:     Parent ! {interleave_result, Result}.
  
  interleave_outer_loop(_T, RunCnt, Tickets, MaxBound, MaxBound) ->
      interleave_outer_loop_ret(Tickets, RunCnt);
  interleave_outer_loop(Target, RunCnt, Tickets, CurrBound, MaxBound) ->
      {NewRunCnt, TotalTickets, Stop} = interleave_loop(Target, 1, Tickets),
      TotalRunCnt = NewRunCnt + RunCnt,
      state_swap(),
  