Simple dead code elimination after value propagation