Why do we need to filter by isInOriginalConstraint and isInDomainSummary?