checking correctness of monitored_navigation argument