Fix buchi algo issue