Bad result when inverse domain with false parts
When inverse a domain on a specific field, if a branch of the domain is invalid but does not contain the field, it should not make the all domain invalid. This is because we should expect that those other fields will be fixed. So we must get a valid domain for the current field.