static new L<T3<S>> rules; // text, comment, ID

static new L<GazelleFulfillment> fulfillments;

static new LinkedHashSet<S> temporaryFacts;

static L<T3<S>> dm_allRulesFromRulesModuleWithCommentsAndIDs() {

  ret rules;

}

svoid dm_gazelle_setRuleComments_verbose(S ruleID, S comments) {

  set(objectWhere(rules, c := ruleID), b := comments);

}

static PairS dm_textAndCommentForRule(S ruleID) {

  T3<S> t = objectWhere(rules, c := ruleID);

  ret t == null ? null : pair(t.a, t.b);

}

static Pair<S, Bool> dm_gazelle_addRuleWithComment(S text, S comment) {

  T3<S> t = objectWhere(rules, a := text, b := comment);

  if (t != null) ret pair(t.c, false);

  S id = aGlobalID();

  rules.add(t3(text, comment, id));

  ret pair(id, true);

}

static L dm_gazelle_fulfillmentsForRule(S ruleID) {

  ret objectsWhere(fulfillments, rule := ruleID);

}

static GazelleEvalContext dm_gazelle_stdEvalContext() {

  ret dm_gazelle_stdEvalContext(dm_allRulesFromRulesModuleWithCommentsAndIDs());

}

static GazelleEvalContext dm_gazelle_stdEvalContext(L<T3<S>> rules) {

  ret gazelle_stdEvalContext(rules);

}

sS dm_gazelle_addTempFact(S text) {

  temporaryFacts.add(text);

  ret aGlobalID();

}