anchor.diff:      case EString =/= NEString of
         true -> [EString, NEString];
         false ->
  -        [io_lib:format("~p",[E]) || E <- [Event, NewEvent]]
  +        [io_lib:format("~p", [E]) || E <- [Event, NewEvent]]
       end,
     io_lib:format(
       "On step ~p, replaying a built-in returned a different result than"
  
positive.code: 
  bound_reached(Logger) ->
    ?unique(Logger, ?lwarning, msg(scheduling_bound_warning), []),
    ?debug(Logger, "OVER BOUND~n",[]),
    concuerror_logger:bound_reached(Logger).
  
  %% =============================================================================
  
negative.code:         false ->
            insert_message(Channel, Update, Initial, Rest, Found, [Other|Acc]);
          true ->
            lists:reverse(Acc, [{Channel, Initial}, Other|Rest])
        end
    end.
  
  