let is_included s1 s2 =
      (* TODO: nothing to do with subst & co ? *)
      M.is_included s1.map s2.map && Leaks.is_included s1.leaks s2.leaks