let mk_term_from_vi vi = mk_dummy_term (TLval((Logic_utils.lval_to_term_lval (Cil.var vi)))) Cil.intType