Return to Answer

###Solution using Block

###Use metaprogramming to automate things

Solution using Block

Use metaprogramming to automate things

Finally, per additional request of the OP - here is what you can do if you want to evaluate those symbols which may expand into other symbols, but not the "final" ones. We will have to use some heavy artillery now. Load the code from this answer on dependency graphs, and then here is another function:

Finally, per additional request of the OP - here is what you can do if you want to evaluate those symbols which may expand into other symbols, but not the "final" ones. We will have to use some heavy artillery now. Load the code from this answer on dependency graphs, and then here is another function:

ClearAll[evalWithFrozenSyms]
SetAttributes[evalWithFrozenSyms, HoldAll];
evalWithFrozenSyms[expr_, unfrozen : {___Symbol} : {}, 
   wrapper_: Hold, getsymbolsF_: getHeldSymbols
] :=
   With[{frozen = 
            Thread[
              Complement[
                getsymbolsF[expr],
                Thread[HoldComplete[unfrozen]]
              ],
              HoldComplete
            ]
          },
        If[ReleaseHold[frozen] == {}, expr, 
          frozen /. HoldComplete[{syms___}] :>
            Block[{syms}, wrapper[##] &@expr]
        ]
   ]

ClearAll[evalWithFrozenSyms]
SetAttributes[evalWithFrozenSyms, HoldAll];
evalWithFrozenSyms[expr_, unfrozen : {___Symbol} : {}, 
   wrapper_: Hold, getsymbolsF_: getHeldSymbols
] :=
   With[{frozen = 
            Thread[
              Complement[
                getsymbolsF[expr],
                Thread[HoldComplete[unfrozen]]
              ],
              HoldComplete
            ]
          },
        If[frozen === {}, expr, 
          frozen /. HoldComplete[{syms___}] :>
            Block[{syms}, wrapper[##] &@expr]
        ]
   ]