Merged ValueRestriction