Allow no error conditions in BacktrackDfsChecker::check()

Return UNSAT when there are no error conditions.