void OnExplorerClauseChanged(Clause clause) { InstructionStream.Clear(); if (clause == null) { return; } foreach (var item in clause.PrologInstructionStream) { InstructionStream.Add(item); } }