Created attachment 120393 [details] [review] Patch to simplify test case creation Thanks. I finally had some time to look at the problem again. With the attached patch it is easier to recreate the problem, because it causes every if without an else clause to create a critical edge with the right property (i.e. not being the first incoming edge).