Complete VBPQP::Agg_min, tested