svoid ai_postClassNameAsGeneralDefinition(O o) {
  S name = className(o);
  if (nempty(name))
    generalDefinitions_add(shortenClassName(name), "[full class name] " + name);
}