made insertions and deletions in automaton more robust
preparations for parallel simulation