added empty given clause on aggregate test specification