Fix memory bug in Krivine, Fix > in nfn prefix