add methods to delete edges in InterAutomaton in batch, add method to add an edge in Automaton