Extending the Engine to support IDDFS.