let greedy_astar'' = astar''