Correctly protect Procedures in TR.

Closes PR 13664.