> Indeed, the bothering part is how hard it is to write unit test for any > flow-sensitive analysis! Oh, I see. True, that's an interesting problem. I guess someone should solve this and write a paper about it :-) Eric