<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_eh058davev3b57ral9hdg9hvl2, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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;
}