D*Lite Algorithm

If you can break the code/prove it's incorrect then that's a good thing