Fixed issues related on Buchi algorithm and print run