Constant propagation and folding for non-compiled avals.
Constant propagation and folding for non-compiled avals.