Add a sorter for VdmNavigator.

[Issue: #276]