{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // contradiction there is a DEF -> SL -> USE path. Consider two cases:
    // - DEF dominates SL. We always have UB the first time control flow reaches DEF,