loop detection in nav