sS ai_triple_cWithoutThat(T3<S> t) {
  ret t == null ? null : swic(t.c, "that ") ? dropPrefixTrim("that", t.c) : null;
}