{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
        // N0, which we call N. These are the *non-diverging* type
        // diverging variable, and then compute the set reachable from
        // variables. (Note that this set consists of "root variables".)