Ensuring BNF states are correctly transitioned