let option_name = "-aorai-automata"