let change_idx idx1 idx siz = let boff = Logic_utils.mk_dummy_term (TBinOp(Mult,idx1,constant_term locUnknown siz)) intType in Logic_utils.mk_dummy_term (TBinOp(PlusA,boff,idx)) intType