Issue #23741:ensure no duplicate check numbers

@tjwebb - yes - `'`-quoting of procedure bodies is legal but forces doubled quotes inside. which are hard to read and hard to get right. We started migrating to dollar-quoting but never finished.