Use post order traverse on blocks such that values used inside a loop,

Use post order traverse on blocks such that values used inside a loop, #1949