Extracted code for computing the discriminating automaton to a separate file.