anchor.diff:  	false  -> coordinator
       end.
   
  +get_transactions_count() ->
  +    case req(transactions_count) of
  +        {transactions_count, ParticipantsCount, CoordinatorsCount} ->
  +            {ParticipantsCount, CoordinatorsCount};
  +        Error ->
  +            Error
  +    end.
  +
   get_info(Timeout) ->
       case whereis(?MODULE) of
   	undefined ->
  
positive.code: 	{From, info} ->
  	    reply(From, {info, gb_trees:values(Participants),
  			 gb_trees:to_list(Coordinators)}, State);
  
  	{mnesia_down, N} ->
  	    verbose("Got mnesia_down from ~p, reconfiguring...~n", [N]),
  
negative.code: 	 do_update_op/3,
  	 get_info/1,
  	 get_transactions/0,
           get_transactions_count/0,
  	 info/1,
  	 mnesia_down/1,
  	 prepare_checkpoint/2,
  