before refactoring some methods in cgautomaton, regautomaton, interautomaton, etc.