interactive-KB-debugging