static bool triple_containsStandaloneDollarVars(T3<S> t) {
  ret t != null &&
    (containsStandaloneDollarVars(t.a)
    || containsStandaloneDollarVars(t.b)
    || containsStandaloneDollarVars(t.c));
}