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: %% Internal exports
  -export([block/0, notify/2, wait/0, wakeup/0, no_wakeup/0, lid_from_pid/1]).
  
  -export([notify/3, wait_poll_or_continue/0]).
  
  -export_type([analysis_target/0, analysis_ret/0, bound/0]).
  
  