let
fresh_mem () =
Fol
.fresh_var (
Lazy
.force cur_mem_var)