bpf: correct loop detection for iterators convergence