A SAT-Based Debugging Tool for State Machines and Sequence Diagrams