static LPair<S, Map> fullMRUCaches() {
  ret [LPair<S, Map> p : isMRUCacheFull(p.b)];
}