1. A computer-implemented method comprising: converting a quantification into an automaton, wherein converting includes unrolling the quantification to control an in-degree of the automaton; and converting the automaton into machine code corresponding to a target device.