let combine ~old s = (* TODO: nothing to do with subst & co ? *) { map = M.join old.map s.map; leaks = Leaks.combine ~old:old.leaks s.leaks; subst = s.subst }