Hi Tobi, thanks very much and sorry that I didn't see your previous post. I will tell you when I come across a bug, the next thing will be to test it on loopy control flow graphs. -Jochen