Simplify the logic for temporarily overriding redefp by using LOCAL.
I don't think I understood that redefp could be a local variable when I wrote this.
Authored by: david_costanzo 2026-05-09
Parent: [r6197]
Child: [r6199]
