code: def stat_smt_query(func: Callable):
      
      stat_store = SolverStatistics()
  
      def function_wrapper(*args, **kwargs):
          if not stat_store.enabled:
              return func(*args, **kwargs)
  
          stat_store.query_count += 1
          begin = time()
  
          result = func(*args, **kwargs)
  
          end = time()
          stat_store.solver_time += end - begin
  
          return result
  
      return function_wrapper
docs: Measures statistics for annotated smt query check function