Allow substitutions of locals using the same memory as that used by a Pr

Allow substitutions of locals using the same memory as that used by a Pr #62