docs: def is_bounded(self, ast):
          """
          Test whether an AST is bounded by any existing constraint in the related solver.
  
          :param ast: an claripy.AST object
          :return: True if there is at least one related constraint, False otherwise
          """
  
          return len(ast.variables.intersection(self.state.solver._solver.variables)) != 0