Sequence Detective
Test each proposed rule against every transition.
Solved
0
New case