{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":".filter(|&bb|"}]}
            .filter(|&bb| mir_body[bb].terminator().kind != TerminatorKind::Unreachable)
        for bb in graph::depth_first_search(subgraph, mir::START_BLOCK)
        {