static L<RuleEngine2.Rule> gazelle_rulesOnExactPreContext(LS preContext, O... _) {
  ret [RuleEngine2.Rule r : gazelle_rulesOnInputFromParams(_)
    | eqicLists(preContext, gazelle_exactPreContextFromRule(r))];
}