{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"for"}]}
            for &pred in predecessors {
        } else if let &[ref predecessors @ .., last_pred] = &predecessors[..] {
                self.recurse_through_terminator(pred, || state.clone(), &cost, depth);