Büchi_automaton loading ...