{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"for"}]}
            for s in bb_data.terminator().successors() {
            let bb = get_post_contract_node(bb);
                let s = get_post_contract_node(s);