[gnugo-devel] Crash!

[Daniel Bump]

The following file causes a crash in current versions.
The double ko around B4 confuses atari_atari_confirm_safety.

Dan

(;GM[1]FF[3]
RU[Japanese]SZ[19]HA[0]KM[5.5]
PW[White]
PB[Black]
GN[White (W) vs. Black (B)]
DT[2001-09-15]
SY[Cgoban 1.9.10]TM[30:00(5x1:00)]PL[2];
AW[aa][ba][ca][da][la][qa][ra][bb][lb][nb][ob][pb][qb][bc][cc][kc][lc][nc][pc][cd][dd][md][nd][de][he][le][me][ne][df][ff][gf][hf][if][mf][nf][of][eg][fg][hg][jg][kg][mg][ng][gh][jh][ci][fi][hi][ji][ij][jj][kj][lj][mj][ak][bk][ek][hk][mk][nk][ok][bl][cl][dl][el][fl][gl][ol][rl][cm][em][gm][km][nm][om][pm][qm][an][mn][on][pn][bo][fo][io][oo][ap][ep][fp][ip][jp][lp][np][op][pp][bq][dq][eq][fq][gq][hq][iq][jq][kq][lq][nq][qq][dr][fr][gr][ir][jr][lr][mr][or][qr][rr][ms][rs][ss]
AB[ea][ja][ka][sa][cb][db][eb][ib][kb][rb][sb][dc][ic][jc][oc][qc][rc][ed][fd][hd][kd][ld][od][pd][qd][ee][fe][ge][ie][ke][oe][pe][ef][jf][kf][lf][pf][lg][og][kh][mh][nh][qh][ki][li][mi][ni][nj][oj][ik][jk][kk][lk][pk][qk][al][hl][il][ml][nl][pl][ql][am][bm][dm][fm][hm][jm][lm][mm][rm][bn][cn][dn][en][fn][gn][in][kn][nn][qn][rn][co][do][eo][go][ho][jo][ko][lo][mo][no][po][qo][bp][dp][gp][hp][kp][mp][qp][rp][cq][mq][rq][sq][cr][er][hr][kr][sr][cs][ds][es][fs][gs][hs][is][js][ks][ls]
PL[W]
)