sbool hasSuperclassShortnamed(O o, S name) {
  ret hasSuperclassShortNamed(o, name);
}