let fresh_vars m xs p = List.fold_left (fun p x -> let v_x = F.Xindex.get_ind x in let q = model_isfresh m.store m.alloc v_x in F.p_implies q p ) p xs