let
cur_mem_var =
lazy
(
Fol
.mk_lvar_variable (
Lazy
.force
Macros
.memory_lvar)
Types
.memory_type)