public void leave(InstructionInfo instructionInfo) {
    if (MUTED) return;
    trace("</>");
    if (instructionInfo instanceof TraceExpression || instructionInfo instanceof InstructionDetails) {
      myDebugger.leave();
    }
  }
public void leave(InstructionInfo instructionInfo)