let mk_term_from_logic_var lvar =
  mk_dummy_term (TLval(TVar(lvar),TNoOffset)) Cil.intType