static T3<S> ai_replaceStandaloneVarsInTriple(T3<S> t, SS map) {
  S a = map.get(t.a), b = map.get(t.b), c = map.get(t.c);
  if (a == null && b == null && c == null) ret t;
  ret t3(or(a, t.a), or(b, t.b), or(c, t.c));
}