> You can predict which changes in the source code will lead to which exact changes in the behavior of the compiled program

Can you really ?