astar fixpoint decreases on number of steps