anchor.diff:  %% state:   The current state of the program.
   -record(info, {active  :: set(),
                  blocked :: set(),
  -	       error   :: atom(),
  +	       error   :: error_info(),
                  state   :: state()}).
   
   %% Internal message format
  
positive.code: -type dest() :: pid() | port() | atom() | {atom(), node()}.
  -type error_descr() :: 'deadlock'.
  -type analysis_ret() :: 'ok' |
                          {error, instr} |
                          {error, analysis, [{error_descr(), state()}]}.
  
  %%%----------------------------------------------------------------------
  %%% Records
  
negative.code: %% @type: dest() =  pid() | port() | atom() | {atom(), atom()}.
  %% @type: error_descr() = 'deadlock'
  %% @type: analysis_ret() = 'ok' |
  %%                         {'error', 'instr'} |
  %%                         {'error', 'analysis', [{error_descr(), state()}]}.
  %% @type: error() = 'assert'
  
  %% The logical id (LID) for each process reflects the process' logical
  %% position in the program's "process creation tree" and doesn't change
  