f is monotonic . try BFS is complete
fresh start. A* must be Fixpoint