{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"self.recurse_through_terminator(pred,"}]}
                self.recurse_through_terminator(pred, || state.clone(), &cost, depth);
            for &pred in predecessors {
            }