Fixed the restriction operator for cases when the restrictor has no shared attributes or is empty.