Transform Code 

Normally, later With variables are unaware of earlier variables’ values.

In[1]:=

X With[{a = 3, b = a + 2, c = a + b}, {a, b, c}]

Out[1]=

This function transforms the With expression so this is no longer the case.

In[2]:=

X SetAttributes[IterateWith, HoldAll] IterateWith[expr_] := Activate[Inactivate[expr] //. Inactive[With][{first_, rest__}, body_] :> Inactive[With][{first}, Inactive[With][{rest}, body]]]

Apply the function.

In[3]:=

X IterateWith[With[{a = 3, b = a + 2, c = a + b}, {a, b, c}]]

Out[3]=