In the examples of StaticSingleAssignmentFormer, the Jimple/SSA code seems not matched the corresponding block graphs.

Concretely, in left side, label2 immediately follows label3; as for the graphs, label2 follows the goto block, then to if l3<100 goto, which is label1 at left. Please see if the examples are correct, thanks for your efforts!