Core.Check: dead code depending on Lib.Set which does not exist