{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
    // First, we recall that DEF is checked to dominate USE. Now imagine for the sake of
    //
    // contradiction there is a DEF -> SL -> USE path. Consider two cases: