let mk_term_from_vi vi =
  mk_dummy_term (TLval((Logic_utils.lval_to_term_lval ~cast:true (Cil.var vi)))) Cil.intType