anchor.diff:                          {'error', 'analysis', analysis_info(),
   			 [ticket:ticket()]}.
   
  -%% Module-Function-Options tuple.
  +%% Module-Function-Arguments tuple.
   -type analysis_target() :: {module(), atom(), [term()]}.
   
   %% The destination of a `send' operation.
  
positive.code: 			false -> {error, deadlock, State}
  		    end;
  		false ->
  		    %% Remove process Next from the `active` set and run it.
  		    NewActive = set_remove(Active, Next),
  		    ?debug_2("Running process ~s.~n", [Next]),
  
negative.code: %% Checks for different program states (normal, deadlock, termination, etc.)
  %% and acts appropriately. The argument should be a blocked scheduler state,
  %% i.e. no process running when the driver is called.
  %% In the case of a normal (meaning non-terminal) state:
  %% - if the State list is empty, the search component is called to handle
  %% state expansion and returns a process for activation;
  %% - if the State list is not empty, the process to be activated is
  %% provided at each step by its head.
  %% After activating said process the dispatcher is called to delegate the
  %% messages received from the running process to the appropriate handler
  %% functions.
  driver(#info{active = Active, blocked = Blocked,
  	     error = Error, state = State} = Info,
         StateList, DetailsFlag) when is_boolean(DetailsFlag) ->
      %% Assertion violation check.
      case Error of
  	assert -> {error, assert, State};
  