static GazelleEvalContext gazelle_cloneCtx(GazelleEvalContext ctx) {
  GazelleEvalContext ctx2 = shallowClone(ctx);
  ctx2.engine = new RuleEngine2;
  ctx2.engine.copyRulesFrom(ctx.engine);
  ret ctx2;
}