Removed all region abstractions