Accuracy of message counting abstraction in fault-tolerant distributed algorithms