Debugging astar