{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":".successors()"}]}
                                .successors()
                                .terminator()
                                .filter(|&bb| {