sclass LCLongerProds {
  new TreeMap<Int, L<Int>> productions;
  Map<S, L<Int>> files;
}

static LCLongerProds lcSimplifyToLongerProductions(int nLiterals, L<IntPair> pairs, Map<S, L<Int>> files) {
  new LCLongerProds lc;
  for i over pairs:
    lc.productions.put(nLiterals+i, pairToList(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) {
        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;
}