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