I didn't find the A* documentation very clear on this: when should one use astar_search, and when should one use astar_search_tree? Does the distinction have to do with whether the given heuristic is consistent?