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