-------------------- <StronglyAssign: void <init>()> (live-var) --------------------
[0@L1] invokespecial %this.<java.lang.Object: void <init>()>(); []
[1@L1] return; []

-------------------- <StronglyAssign: int assign(int,int,int)> (live-var) --------------------
[0@L4] d = a + b; [d]
[1@L5] b = d; [b]
[2@L6] c = a; [b]
[3@L7] return b; []

