scripts to parse io automata to bt