'Translate a single IRExpr, honoring mode and options and so forth. Also updates state...'

def _translate_expr(self, expr):

    e = translate_expr(expr, self.state)
    self._record_expr(e)
    self.child_exprs.append(e)
    return e
