{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"debug!(\"impossible\");"}]}
                debug!("impossible");
            if !basic_blocks[current].terminator().successors().any(|s| s == succ) {
                return;