ep
L1: 
if (ep -> LBB1) {
  LBB1
  if (!(LBB1 -> LBB2)) {
    break L1;
  }
  LBB2
}
LBB3

