Class AggregateBoundedPropagator