Moved loading navigation to a compiler pass