AutomataBuilder created method loadAutomaton removed from the
BuchiAutomaton
AutomatonBuilderCreated method create automaton removed from the
BuchiAutomaton