ifclass LineCompCompressor
static LCLongerProds lcSimplifyToLongerProductions(LineCompCompressor comp) {
  ret lcSimplifyToLongerProductions(
    map(countIterator_exclusive(0, comp.nLiterals()), i -> comp.itemToString(i)),
    map(countIterator_exclusive(comp.nLiterals(), comp.nItems()), i -> comp.getPair(i)),
    comp.finalEncodings);
}
endif

static LCLongerProds lcSimplifyToLongerProductions(LS literals, L<IntPair> pairs, Map<S, L<Int>> files) {
  new LCLongerProds lc;
  lc.literals = literals;
  int nLiterals = l(literals);
  for i over pairs:
    lc.productions.put(nLiterals+i, intPairToList(pairs.get(i)));
  lc.files = mapValues cloneList(files);
  
  bool change;
  do {
    ping();
    change = false;
    new MultiSet<Int> counts;
    for (L<Int> l : concatLists(values(lc.productions), values(lc.files)))
      for (int i : l)
        if (i >= nLiterals)
          counts.add(i);
    for (int i : cloneList(counts.asSet()))
      if (counts.get(i) == 1) {
        set change;
        L<Int> unrolled = assertNotNull(lc.productions.get(i));
        print("Unrolling " + i + " => " + unrolled);
        lc.productions.remove(i);
        counts.remove(i);
        for (L<Int> l : concatLists(values(lc.productions), values(lc.files)))
          replaceSublist(l, ll(i), unrolled);
      }
  } while (change);
  ret lc;
}