{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
    // - DEF does not dominate SL. Then there is a `START_BLOCK -> SL` path not including DEF.
    //
    //   But we can extend this path to USE, meaning there is also a `START_BLOCK -> USE` path not