void IDebugEventSink.Visit(Solution solution) { }
void IDebugEventSink.Visit (Solution newSolution) { this.solution = newSolution; }
void IDebugEventSink.Visit(Solution solution) { sb.AppendLine ("Solution found"); }