generate terms for states of automaton
filter for interesting terms
backwards reduction