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