'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'

def is_bounded(self, ast):

    return (len(ast.variables.intersection(self.state.se._solver.variables)) != 0)
