getSolution implemented in BoundedIterativeDepthFirstSearchEngine. BasicProgramRepairer now informs whether a solution has been found or not, together with some basic stats.