refactor: introduce grind sets for Automata (see issue #308)#385

xvade wants to merge 2 commits intoleanprover:mainleanprover/cslib:mainfrom

xvade:mainxvade/cslib:mainCopy head branch name to clipboard