{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"///"}]}
    /// ```
    /// R1 = { CFG, R0, R1 } // 'b
    /// Here, R0 represents `'a`, and it contains (a) the entire CFG