Corrected LazyNavigationRecurser to mark its return value as safe.