Mercury: fix for voids and added void tests