{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
            // a debug assert and early return as an optimization.
            // choice indeed escapes the function. In the future, we could e.g. turn this check into
            let scc = sccs.scc(successor);