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