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