Testing Distributed Database Isolation Through Anti-Pattern Detection