-------------------- <AllReachableIfBranch: void <init>()> (dead-code) --------------------

-------------------- <AllReachableIfBranch: int branch(int,int)> (dead-code) --------------------
[0@L3] z = x + y;

-------------------- <AllReachableIfBranch: int branch2(int,int)> (dead-code) --------------------
[0@L13] z = x + y;
[7@L17] z = 100;

