141d140
< // assert(!newInfoSet);
143c142
< newSummary = newSummary;
---
> newSummary = summary;