{"ast_node_type":"import","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// needed because some analyses require that there are no critical edges in the CFG.
    /// are edges that go from a multi-successor node to a multi-predecessor node. This pass is
    ///