Adds debugging for navigation generation