Core.A
  -> Main
  -> Core.B
Core.B
  -> HOL-Library.Multiset
Bare.C
  -> Core.A
