Race detection tool for event applications