7. The computer-implemented method of claim 1 , wherein unrolling the quantification to control an in-degree of the automaton comprises unrolling the quantification as a function of an in-degree limitation.
7. The computer-implemented method of claim 1 , wherein unrolling the quantification to control an in-degree of the automaton comprises unrolling the quantification as a function of an in-degree limitation. 8. The computer-implemented method of claim 7 , wherein the in-degree limitation includes a limit on the number of transitions into a state of the automaton.