added auxiliary Empty() function
Refactoring shortest path search variable names