fix interAutomaton bug by adding interAutoEdge class and use Ids of two end points as the edge's id