Made heavy duty optimizations to reduce the size of the generated buchi automata