let mk_offseted_array_lval_from_term host term_off = Logic_const.term (TLval(Cil.addTermOffsetLval (TIndex(term_off,TNoOffset)) host)) (Ctype Cil.intType)