anchor.diff:      Parent ! {interleave_result, Result}.
   
   interleave_outer_loop(_T, RunCnt, Tickets, MaxBound, MaxBound) ->
  -    log:log("Context bound reached\n"),
       interleave_outer_loop_ret(Tickets, RunCnt);
   interleave_outer_loop(Target, RunCnt, Tickets, CurrBound, MaxBound) ->
  -    log:log("Context bound: ~p\n",[CurrBound + 1]),
       {NewRunCnt, TotalTickets, Stop} = interleave_loop(Target, 1, Tickets),
       TotalRunCnt = NewRunCnt + RunCnt,
       state_swap(),
  
positive.code: %% Internal exports
  -export([block/0, notify/2, wait/0, wakeup/0, no_wakeup/0, lid_from_pid/1]).
  
  -export([notify/3]).
  
  -export([wait_poll_or_continue/0]).
  
  -export_type([analysis_target/0, analysis_ret/0, bound/0]).
  
  
negative.code:     case state_load() of
          no_state -> {RunCnt - 1, Tickets, false};
          ReplayState ->
              ?debug_1("Running interleaving ~p~n", [RunCnt]),
              ?debug_1("----------------------~n"),
              lid:start(),
  