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)