New counterexample generation seems to be working, though the code needs
a lot of cleanup. Would like to try it on some tough grammar debugging
cases.