A very simple Supaplex level rename

TID(s):

Controller: 1.431s

Template: 0.029s

Cost: br=1.0, cc=1.479, ch=0.0, cm=0.0, cm+h=0.0, cr=0.0, cs=34.0, cw=23.0, dr=27260.0, dt=2.421, dw=0.0, gqr=0.0, in=21804.0, ir=1296.0, iw=0.0, lh=0.0, lm=3.0, lr=3.0, mcs=0.012, mcu=0.455, mr=23.0, nivcsw=338.0, nreqs=44.0, nvcsw=165.0, pf=0.0, pr=0.0, stime=0.048, te=0.192, tf=0.928, tg=0.877, tm=1.357, tr=0.175, ts=0.0, tu=0.152, utime=1.431, va=73607.0