svoid dm_gazelle_matchStatements(L<GazelleTree> l, O... _) {

  for (GazelleTree t : l)

    if (t.rule() != null) {

      RuleEngine2_MatchedRule mr = t.mr;

      LS in = t.rule().in;

      int iCond = t.mr.iCond;

      print("matchStatements: iCond=" + iCond + " in " + in);

      if (l(in) > iCond) {

        LS conditions = dropFirst(iCond, in);

        print("Remaining conditions for " + t.ruleID() + " with " + t.mr.map + ": " + conditions);

        new Matches m;

        if (!matchAny("in " + (iCond+1) + " = statement *", t.rule().comments, m))

          continue with print("Unwired condition");

        S subRuleID = $1;

        print("Found subrule: " + subRuleID);

        L fulfillments = dm_gazelle_fulfillmentsForRule(subRuleID);

        print("Have fulfillments:");

        for (O f : fulfillments) {

          SS varMap = asCIMap(safeUnstructMap(getString varMap(f)));

          printIndent(sfu(varMap));

          // self-vars hack to fix John Doe problem

          bool selfVarsFix = boolPar selfVarsFix(_, true);

          if (selfVarsFix) {

            S cond = first(conditions);

            for (S x : identifiersOnly(codeTokens(mr.tokenize(cond))))

              if (!varMap.containsKey(x)) {

                print("Self-linking " + x);

                varMap.put(x, x);

              }

          }

          print("Original map: " + t.mr.map);

          SS newMap = mergeMapsStrictlyIC(asCIMap(t.mr.map), varMap);

          if (newMap == null)

            continue with printIndent("Can't merge maps");

          printIndent("Maps merged! => " + sfu(newMap));

          t.mr.map = newMap;

          t.mr.iCond++;

          t.mr.remainingConditions = dropFirst(t.mr.remainingConditions); // XX: also should rewrite with new vars

          t.mr.remainingConditionsWithType = dropFirst(t.mr.remainingConditionsWithType);

          t.mr.out = null;

          t.line = t.mr.outText();

          print("Rewrote " + t.mr.rule.out + " to: " + t.line);

          break;

        }

      }

    }

}