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;
        }
      }
    }
}