Constant Propagation

Implementation Status: WIP

Constants assigned to a variable can be propagated through the flow graph and substituted at the use of the variable:

x = 10
y = x * 2

Optimized code with Constant Propagation:

x = 10
y = 10 * 2

Further optimization with Constant Folding:

x = 10
y = 20