Input/output_automaton loading ...