Using transaction SAT to find problem areas