static F0<GazelleEvalContext> gazelle_fullContextMaker() {
  new GazelleContextCache_v2 cc;
  cc.grabRules = func -> L<T3<S>> { gazelle_allRuleTriples() };
  ret cc.fill();
}