original check subgroup of check, 12 assertions