Create automata_combination.ml