anchor.diff:      ?debug_1(proc_action:to_string(Action) ++ "~n"),
       case Det of
   		true -> replay_logger:log(Action);
  -		false -> continue
  +	false -> continue
       end.
   
   %% Remove and return a state.
   %% If no states available, return 'no_state'.
   state_load() ->
       case ets:first(?NT_STATE1) of
  -		'$end_of_table' -> no_state;
  -		State ->
  -			ets:delete(?NT_STATE1, State),
  -			State
  +	'$end_of_table' -> no_state;
  +	State ->
  +	    ets:delete(?NT_STATE1, State),
  +	    State
       end.
   
   %% Return a state without removing it.
   %% If no states available, return 'no_state'.
   state_peak() ->
       case ets:first(?NT_STATE1) of
  -		'$end_of_table' ->  no_state;
  -		State -> State
  +	'$end_of_table' ->  no_state;
  +	State -> State
       end.
   
   %% Add a state to the current `state` table.
  
positive.code: 
  %% FIXME: Refactor this (it's exactly the same as 'spawn')
  handler(spawn_link, ParentLid,
  		#context{active = Active, details = Det} = Context, ChildPid) ->
      link(ChildPid),
      ChildLid = lid:new(ChildPid, ParentLid),
      log_details(Det, {spawn_link, ParentLid, ChildLid}),
  
negative.code: -type analysis_info() :: {analysis_target(), non_neg_integer()}.
  
  -type analysis_options() :: ['details' |
  			     {'files', [file()]} |
  			     {'init_state', state:state()} |
  			     {'preb', bound()}].
  
  %% Analysis result tuple.
  -type analysis_ret() :: {'ok', analysis_info()} |
                          {'error', 'instr', analysis_info()} |
                          {'error', 'analysis', analysis_info(), [ticket:ticket()]}.
  
  %% Module-Function-Arguments tuple.
  -type analysis_target() :: {module(), atom(), [term()]}.
  