anchor.diff:    end.
   
   has_matching_or_after(PatternFun, Timeout, Info) ->
  -  #concuerror_info{
  -                    'after-timeout' = AfterTimeout,
  -                    messages_new = NewMessages,
  -                    messages_old = OldMessages} = Info,
  -  ?debug_flag(?receive_, {matching_or_after, [NewMessages, OldMessages]}),
  +  #concuerror_info{messages_new = NewMessages,
  +                   messages_old = OldMessages} = Info,
     {Result, NewOldMessages} =
       fold_with_patterns(PatternFun, NewMessages, OldMessages),
     case Result =:= false of
  
positive.code:       {doit, Info}
    end;
  instrumented('receive', [PatternFun, Timeout], Location, Info) ->
    handle_receive(PatternFun, Timeout, Location, Info).
  
  instrumented_aux(Tag, Module, Name, Arity, Args, Location, Info) ->
    case
  
negative.code:         }
        };
      true ->
        case Timeout =:= infinity of
          false ->
            {{true, 'after'},
             Info#concuerror_info{
  