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