anchor.diff:      NewContext = run(Context#context{current = Next, error = ?NO_ERROR}),
       #context{blocked = NewBlocked} = NewContext,
       case state:is_empty(Rest) of
  -		true ->
  -			case ?SETS:is_element(Next, NewBlocked) of
  -				%% If the last action of the replayed state prefix is a block,
  -				%% we can safely abort.
  -				true -> abort;
  -				%% Replay has finished; proceed in normal mode, after checking
  -				%% for errors during the last replayed action.
  -				false -> check_for_errors(NewContext)
  -			end;
  -		false ->
  -			case ?SETS:is_element(Next, NewBlocked) of
  -				true -> log:internal("Proc. ~p should be active.", [Next]);
  -				false -> driver_replay(NewContext, Rest)
  -			end
  +	true ->
  +	    case ?SETS:is_element(Next, NewBlocked) of
  +		%% If the last action of the replayed state prefix is a block,
  +		%% we can safely abort.
  +		true -> abort;
  +		%% Replay has finished; proceed in normal mode, after checking
  +		%% for errors during the last replayed action.
  +		false -> check_for_errors(NewContext)
  +	    end;
  +	false ->
  +	    case ?SETS:is_element(Next, NewBlocked) of
  +		true -> log:internal("Proc. ~p should be active.", [Next]);
  +		false -> driver_replay(NewContext, Rest)
  +	    end
       end.
   
   driver_normal(#context{active = Active, current = LastLid,
  -					   state = State} = Context) ->
  +		       state = State} = Context) ->
       Next =
  -		case ?SETS:is_element(LastLid, Active) of
  -			true ->
  -				TmpActive = ?SETS:to_list(?SETS:del_element(LastLid, Active)),
  -				{LastLid,TmpActive, next};
  -			false ->
  -				[Head|TmpActive] = ?SETS:to_list(Active),
  -				{Head, TmpActive, current}
  -		end,
  +	case ?SETS:is_element(LastLid, Active) of
  +	    true ->
  +		TmpActive = ?SETS:to_list(?SETS:del_element(LastLid, Active)),
  +		{LastLid,TmpActive, next};
  +	    false ->
  +		[Head|TmpActive] = ?SETS:to_list(Active),
  +		{Head, TmpActive, current}
  +	end,
       {NewContext, Insert} = run_no_block(Context, Next),
       insert_states(State, Insert),
       check_for_errors(NewContext).
  
positive.code: 
  %% Move the process to the blocked set.
  handler(block, Lid,
  		#context{active = Active, blocked = Blocked, details = Det} = Context,
          _Misc) ->
      NewActive = ?SETS:del_element(Lid, Active),
      NewBlocked = ?SETS:add_element(Lid, Blocked),
  
negative.code: 
  %% Similar to above depending on options.
  handler(spawn_opt, ParentLid,
  	#context{active = Active, details = Det} = Context, {Ret, Opt}) ->
      {ChildPid, _Ref} =
  	case Ret of
  	    {_C, _R} = CR -> CR;
  	    C -> {C, noref}
  	end,
      link(ChildPid),
      ChildLid = lid:new(ChildPid, ParentLid),
      Opts = sets:to_list(sets:intersection(sets:from_list([link, monitor]),
  					  sets:from_list(Opt))),
      log_details(Det, {spawn_opt, ParentLid, ChildLid, Opts}),
      NewActive = ?SETS:add_element(ChildLid, Active),
      Context#context{active = NewActive};
  