I have the same problem what you tell here related to the loop condition(s).
You have wrote this article 3 years ago and I just want to know how do you
resolve this problem.
I am also thinking to keep all BBs representing a condition in a separate
vector as it is done with the body's BBs (sure they will not be kept in
Could you please tell your solution?