Module Domains.Region_separation