The incremental shortest path works ! About to delete the assertions