Apparently the PEP authors decided to punt on what they call "algebraic matching" of repeated names. IMNSHO, if this PEP isn't doing algebraic matching then it's really far from clear what it's for, ...

Pattern matching (PM) was first introduced as the semiconductor industry began to shift from simple one-dimensional rule checks to the two-dimensional checks required by sub-resolution lithography.