Comment by pfg_

Because you can't prove that the optimized version is the same as the original version