Predicting and preventing inconsistencies in deployed distributed systems