Directed state transition graph over Graph 1..8, plus terminal states DONE and BAD. Click nodes and edges inside the graph panel for full details.
Starting from a graph, if we remove the critical edge (red) and add the appearing edge (green), and the resulting graph is valid, then the transition is not critical.