Added KbDigest to reasoner state.