let mk_offseted_array_states_as_enum host off =
Logic_const.term
(TLval(Cil.addTermOffsetLval (TIndex(mk_dummy_term
(TConst(CEnum (find_enum off)))
Cil.intType,TNoOffset)) host))
(Ctype Cil.intType)