Constant propagation for a small subset of JavaScript