Update Shortest-Path.ss