Implementation of aggregates as propagators (clauses are not created for aggregate inferences).