Add a missing case in alias analysis and make alias caches configurable.