Fixed a bug in Analyzer::solutionFound(). Reimplemented SolutionTree. Now it is far more convenient to use.