static RuleEngine2 gazelle_dummyEngineWithRule(RuleEngine2.Rule rule) {
  new RuleEngine2 engine;
  engine.rules.add(rule);
  ret engine;
}