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:   #event{actor = EventActor} = Event,
    #event{actor = EActor} = E,
    case EventActor =:= EActor of
      true -> lists:reverse(Acc,NotDep);
      false ->
        case concuerror_dependencies:dependent_safe(E, Event) =:= false of
          true -> check_initial(Event, NotDep, [E|Acc]);
  
negative.code:   end.
  
  has_delivery_or_receive([]) -> false;
  has_delivery_or_receive([{M, _}|_])
    when M =:= message_delivered; M =:= message_received ->
    true;
  has_delivery_or_receive([_|R]) -> has_delivery_or_receive(R).
  