static LS dm_modulesWithSuperclassShortNamed(S name) {
  ret filter(dm_listModuleIDs(),
    mod -> hasSuperclassShortNamed(dm_mod(mod), name));
}