cond = new_Cond(new_Proj(new_Cmp(expr, c2), mode_b, Eq));
f_l1 = new_Proj(cond, mode_X, 0);
t_l1 = new_Proj(cond, mode_X, 1);
loopBlock2 = new_immBlock();
cond = new_Cond(new_Proj(new_Cmp(expr, c2), mode_b, Eq));
f_l1 = new_Proj(cond, mode_X, 0);
t_l1 = new_Proj(cond, mode_X, 1);
loopBlock2 = new_immBlock();