Currently, I'm implementing `succ` and `pred` as a single `children` as that in `AStar`.
Currently, I'm implementing
succandpredas a singlechildrenas that inAStar.