code: def check_model(self, max_paths=1, max_path_length=5):
          
          results = []
          for stmt in self.statements:
              result = self.check_statement(stmt, max_paths, max_path_length)
              results.append((stmt, result))
          return results
docs: Check all the statements added to the ModelChecker.
  
          Parameters
          ----------
          max_paths : Optional[int]
              The maximum number of specific paths to return for each Statement
              to be explained. Default: 1
          max_path_length : Optional[int]
              The maximum length of specific paths to return. Default: 5
  
          Returns
          -------
          list of (Statement, PathResult)
              Each tuple contains the Statement checked against the model and
              a PathResult object describing the results of model checking.