Function explain_aggregate_lifting 

pub(crate) fn explain_aggregate_lifting(
    program: &Program,
) -> Result<Vec<AggregateLiftReport>>