let mk_memory_type_var s = 
  let lv =  Cil_const.make_logic_var s Macros.memory_type_ltype in
  Fol.Tvar (Fol.mk_lvar_variable lv memory_type_name)