On Case Base Formation in Real-Time Heuristic Search