Exported (#5138 PR 3): the rule engine is a second SpecificationResult[] producer needing the identical summary algorithm.
SpecificationResult[]
Exported (#5138 PR 3): the rule engine is a second
SpecificationResult[]producer needing the identical summary algorithm.