{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// meaning that if `S1 -> S2`, we will visit `S2` first and `S1` after.
    /// The SCCs will be iterated in **dependency order** (or **post order**),
    /// This is convenient when the edges represent dependencies: when you visit