anchor.diff:          }
         };
       true ->
  -      case Timeout =:= infinity orelse Timeout > AfterTimeout of
  +      case Timeout =:= infinity of
           false ->
             {{true, 'after'},
              Info#concuerror_info{
  
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:   end.
  
  has_matching_or_after(PatternFun, Timeout, Info) ->
    #concuerror_info{messages_new = NewMessages,
                     messages_old = OldMessages} = Info,
    {Result, NewOldMessages} =
      fold_with_patterns(PatternFun, NewMessages, OldMessages),
    case Result =:= false of
  