static void assertNotASubclassOfConcept(Class c) {
  assertFalse(isSubclassOf(c, classForNameOpt("main$Concept")));
}