voided check subgroup of check, 4 assertions