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 }