Make loop criteria for _aggregate_phase2 constant

[movatica]

Instead of comparing the old and new trees to check if more aggregation is possible, simply count the number of aggregations that actually occured in the recent iteration. This reduces the break condition from O(k) to O(1).