static TripleWeb dummyTripleWebWithEntries(Symbol a, Symbol b, Symbol c) {
  new TripleWeb w;
  w.a = a;
  w.b = b;
  w.c = c;
  ret w;
}