And at least in compilers , that 's all that really matters , as long as your analysis is finite.
How 's that ?  How it can be finite , again ?
Nah , I can't think of a way it would be infinite.
Well , you can come up with new constructions.