(expr)
return False
Check if the given expression is a TOP value.

        :param expr:    The given expression.
        :return:        True if the expression is TOP, False otherwise.
Check if the given expression is a TOP value.
Check if the given expression is a TOP value .
def is_top(expr) -> bool:
        """
        Check if the given expression is a TOP value.

        :param expr:    The given expression.
        :return:        True if the expression is TOP, False otherwise.
        """
        if isinstance(expr, claripy.ast.Base):
            if expr.op == "BVS" and expr.args[0] == "TOP":
                return True
            if "TOP" in expr.variables:
                return True
        return False
def is_top ( expr ) -> bool : if isinstance ( expr , claripy . ast . Base ) : if expr . op == "BVS" and expr . args [ 0 ] == "TOP" : return True if "TOP" in expr . variables : return True return False