Value propagation: Enable an E_Index expression to use the computed value of the index