{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"add_assumption(BinOp::Eq,"}]}
            add_assumption(BinOp::Eq, value);
            let (value, target) = new_targets.iter().next().unwrap();
            TerminatorKind::Goto { target }