Repeatedly apply rules and watch for new observed states.
Merge branch 'symbolicfrags' of github.com:wholton/SQLTutor into symbolicfrags