let
memory_type_lvar =
lazy
(
Cil_const
.make_logic_var
"mem"
(
Lvar
"memory_type"
))