{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// each universally quantified region R they start out containing
    /// regions, these start out empty and steadily grow, though for
    /// the entire CFG and `end(R)`.