Rework Problem::check into a recursive approach
This is the second part of issue #296 (closed) regarding the rework of the check function. Since the problem::print
rework was ready, the changes to print in #296 (closed) have already been merged to devel
. This issue now only concerns problem::check
.