It also turns out to be insanely troublesome past essentially the most trivial of programs. Of course, whenever you consider static evaluation, you usually think of automated tools. But anybody looking at code and reasoning about it, be they human