Debugging eventually consistent programs