All valid paths to Goal, lexicographically  A* Algo Using DFS