{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    //   reach USE and so our optimization is ok.
    // - DEF does not dominate SL. Then there is a `START_BLOCK -> SL` path not including DEF.