teesting for cases where epsilon-transistions are present with the start state