anchor.diff:        free_schedule_1(Event, Actors, NewState)
     end.
   
  -enabled({_,_}) -> true;
  +enabled({_, _}) -> true;
   enabled(P) -> concuerror_callback:enabled(P).
   
   free_schedule_1(Event, [Actor|_], State) when ?is_channel(Actor) ->
  
positive.code:     case EString =/= NEString of
        true -> [EString, NEString];
        false ->
          [io_lib:format("~p",[E]) || E <- [Event, NewEvent]]
      end,
    io_lib:format(
      "On step ~p, replaying a built-in returned a different result than"
  
negative.code:         false ->
            insert_message(Channel, Update, Initial, Rest, Found, [Other|Acc]);
          true ->
            lists:reverse(Acc, [{Channel, Initial}, Other|Rest])
        end
    end.
  
  