Tweak region creation and add unit tests to CobraModuleVisitor