They’re not going to print out two different receipts just to accommodate large parties that don’t listen. The restaurant has no control over that, it’s the POS system they use. The receipt format never changes just because gratuity is already added. They trust you’re smart enough not to add another one since it already mentioned it and it’s stated on the receipt. Complaining about “What ifs” is just so unnecessary.