domain_merge function

SNF scheme: Domain merge