Returns the Claripy expression of a VEX temp value.

        :param tmp: the number of the tmp
        :param simplify: simplify the tmp before returning it
        :returns: a Claripy expression of the tmp

def tmp_expr(self, tmp):
        """
        Returns the Claripy expression of a VEX temp value.

        :param tmp: the number of the tmp
        :param simplify: simplify the tmp before returning it
        :returns: a Claripy expression of the tmp
        """
        self.state._inspect('tmp_read', BP_BEFORE, tmp_read_num=tmp)
        try:
            v = self.temps[tmp]
            if v is None:
                raise SimValueError('VEX temp variable %d does not exist. This is usually the result of an incorrect '
                                    'slicing.' % tmp)
        except IndexError:
            raise SimValueError("Accessing a temp that is illegal in this tyenv")
        self.state._inspect('tmp_read', BP_AFTER, tmp_read_expr=v)
        return v