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)