Noted that as we number the bins by the translation step, only pr actions make progress, the sc and co actions are treated as "closure" operators in practice.
we always do as many sc/co actions as possible immediately after a pr step until the symbol after the dot is another non-terminal.