A constant propagation optimization pass based on dataflow analysis.
Currently, this pass only propagates scalar values.