BinRel: bddCacheSize can be increase beyond bddMemSize/MEMTOCACHE, but not decreased.