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.