When cloning a module using another module with a nullary symbol with some
regions, these regions were no longer available to clone the declarations
that were using them.