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