svoid dm_gazelle_wireStatementConditions() {

  for (T3<S> t : dm_gazelle_allRulesWithComment("in 2 = statement"))

    dm_gazelle_wireStatementConditions(/*assertGlobalID*/(t.c));

}

svoid dm_gazelle_wireStatementConditions(S ruleID) pcall {

  PairS p = dm_textAndCommentForRule(ruleID);

  LS lines = tlft(p.a);

  new Matches m;

  LS comments = lines(p.b);

  bool change = false;

  for i over comments: {

    if (match("in * = statement", comments.get(i), m)) {

      int line = parseInt($1);

      S s = dropPrefixTrim("+", get(lines, line-1));

      if (empty(s) || startsWith(s, "=>")) continue; // avoid any weird stuff

      S ruleID2 = dm_gazelle_findRuleForStatementCondition(s);

      if (ruleID2 == null) {

        print("No statement rule found for: " + s + ", making one");

        ruleID2 = pairA(dm_gazelle_addRuleWithComment(s + "\n=> statement", "in = statement\n" + "made for rule " + ruleID + "\n" + p.b);

      }

      comments.set(i, "in " + line + " = statement " + ruleID2);

      set change;

    }

  }

  if (change)

    dm_gazelle_setRuleComments_verbose(ruleID, lines(comments));

}