redoing value propagation