Value propagation: Use E1_SimValue in the product of E1_Index. Improve sim2exe().