{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
            let (value, target) = new_targets.iter().next().unwrap();
            // All targets are unreachable except one. Record the equality, and make it a goto.
            add_assumption(BinOp::Eq, value);