{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
            // After step 3, we know that no element can reach any of
            // can reach its successors (in the vector, not the graph).
            // its predecessors (because of step 2) nor successors