(self, expr)
return r
:param expr:
        :return:
        :rtype: RichR
def _expr(self, expr) -> RichR:
        """

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

        r = super()._expr(expr)
        if r is None:
            bits = expr.result_size(self.tyenv)
            return RichR(self.state.top(bits))
        return r
def _expr ( self , expr ) -> RichR : r = super ( ) . _expr ( expr ) if r is None : bits = expr . result_size ( self . tyenv ) return RichR ( self . state . top ( bits ) ) return r