static L<Class> loadedClassesOfProgramAndSubModules(O program) {
  ret concatMap loadedClasses(dependentClassesOfProgram(program));
}