constructing 'for' statement from LLVM bitcode

Wow... Thank you so much for this.
I'll try this one.
Thanks again, Wojciech.

SJL