Adding raw D* Lite code