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