anchor.diff:                              false -> log:show_error(Ticket)
                           end,
                           [Ticket|Tickets];
  -					_OtherRet1 -> Tickets
  +		    _OtherRet1 -> Tickets
                   end,
  -			NewRunCnt =
  -				case Ret of
  -					abort ->
  -						?debug_1("-----------------------~n"),
  -						?debug_1("Run aborted.~n~n"),
  -						RunCnt;
  -					_OtherRet2 ->
  -						?debug_1("-----------------------~n"),
  -						?debug_1("Run terminated.~n~n"),
  -						RunCnt + 1
  -				end,
  +	    NewRunCnt =
  +		case Ret of
  +		    abort ->
  +			?debug_1("-----------------------~n"),
  +			?debug_1("Run aborted.~n~n"),
  +			RunCnt;
  +		    _OtherRet2 ->
  +			?debug_1("-----------------------~n"),
  +			?debug_1("Run terminated.~n~n"),
  +			RunCnt + 1
  +		end,
               receive
                   stop_analysis -> {NewRunCnt - 1, NewTickets, true}
               after 0 ->
  
positive.code: 
  %% FIXME: Refactor this (it's almost the same as 'spawn')
  handler(spawn_monitor, ParentLid,
  		#context{active = Active, details = Det} = Context, {ChildPid, _Ref}) ->
      link(ChildPid),
      ChildLid = lid:new(ChildPid, ParentLid),
      log_details(Det, {spawn_monitor, ParentLid, ChildLid}),
  
negative.code: %% NOTE: This is called after a process has exited, not when it calls
  %%       exit/1 or exit/2.
  handler(exit, Lid, #context{active = Active, details = Det} = Context,
  	Reason) ->
      NewActive = ?SETS:del_element(Lid, Active),
      %% Cleanup LID stored info.
      lid:cleanup(Lid),
      %% Handle and propagate errors.
      case Reason of
  	normal ->
  	    log_details(Det, {exit, Lid, normal}),
  	    Context#context{active = NewActive};
  	_Else ->
  	    Error = error:new(Reason),
  	    log_details(Det, {exit, Lid, error:type(Error)}),
  	    Context#context{active = NewActive, error = Error}
      end;
  
  %% Return empty active and blocked queues to force run termination.
  