Yet again, another shot at aggregate computation with ZDDs