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

    self.state._inspect('tmp_read', BP_BEFORE, tmp_read_num=tmp)
    v = self.temps.get(tmp, None)
    if (v is None):
        raise SimValueError(('VEX    temp    variable    %d    does    not    exist.    This    is    usually    the    result    of    an    incorrect    slicing.' % tmp))
    self.state._inspect('tmp_read', BP_AFTER, tmp_read_expr=v)
    return v
