Similar to #1599 but with respect to references between aggregates, represented by `AggregateReference` instances.