Pathfinding with Lazy Successor Generation