let
cur_mem =
lazy
(
Fol
.
Tvar
(
Lazy
.force cur_mem_var))