Value propagation: unroll 'for' statements