Confusing dead code warning at module include

[sim642]

Running reanalyze 389dd68 on Goblint goblint/analyzer@a544002 revealed the following.

At this include of Batteries into a module named All, reanalyze complains about Ana.result.Error being dead:

module All = struct
  include (Batteries : module type of Batteries with module Format := Batteries.Format [@dead "Ana.result.Error"] )
  (* ... *)
end

The complete file can be viewed here: https://github.com/goblint/analyzer/blob/a544002114324a207df72f9e79eb656c3ebe7b5b/src/prelude.ml.

I could not figure out what it's complaining about there or why.

[cristianoc]

If you have a standalone example send it over.