The use of a stagable and non-stagable cardinality dependent aggregate (e.g. count and array_agg) over a join will still result in a staged grouping being created that can change the results.