fixed value propagation