static bool canSimpleMatchTriple_dollarVars(T3<Symbol> pat, T3<Symbol> t) {
  if (pat == null || t == null) false;
  ret simpleMatchTriple_dollarVars(pat.a, pat.b, pat.c, t) != null;
}
  
static bool canSimpleMatchTriple_dollarVars(Symbol patA, Symbol patB, Symbol patC, T3<Symbol> t) {
  ret simpleMatchTriple_dollarVars(patA, patB, patC, t) != null;
}