y: Add shortest path from state 0 computing.
y: WIP snapshot(dev/right-recursion broken LAs)