(self, expr: ailment.Expr.Expression)
return r
:param expr:
        :return:
        :rtype: RichR
def _expr(self, expr: ailment.Expr.Expression):
        """

        :param expr:
        :return:
        :rtype: RichR
        """

        r = super()._expr(expr)
        if r is None:
            return RichR(self.state.top(expr.bits))
        return r
def _expr ( self , expr : ailment . Expr . Expression ) : r = super ( ) . _expr ( expr ) if r is None : return RichR ( self . state . top ( expr . bits ) ) return r