trace iterator for bisim graph