Fixed the type errors, now start debugging the code. Buchi autoamata is being generated as well