Preprocessing: aggregator, presolver