sS str_shortenSynthetic(O o) {
  if (isInstanceOfSyntheticClass(o)) ret "Synthetic instance of " + joinWithSlash(lmap shortClassName(o.getClass().getInterfaces()));
  ret str(o);
}