some optimizations applied to sssp code, verification is failing due to race conditions