> + public CheckSolver() : void > + { > + when (this.Solver.IsTopLevel) > + System.Diagnostics.Trace.WriteLine("this.Solver.IsTopLevel == false"); > + } Did you mean 'unless' ? -- Kamil Skalski http://nazgul.omega.pl