iterator for empirical diff check