Second try.<br>- All region extents are managed by MemRegionManager.<br>- Region extents are set explicitly by  GRExprEngine calling StoreManager::setExtent() after BindDecl(). (better approach?)<br>