loop_over_loop_body_block_out_edges:
  private void checkOutEdgesAreInLoop(OPT_BasicBlock block) throws NonRegularLoopException {    // The blocks (copy of) that are branched to from this block    OPT_BasicBlockEnumeration block_outEdges = block.getOut();    // Check that the blocks that we branch into are all inside the loop    loop_over_loop_body_block_out_edges:    while(block_outEdges.hasMoreElements()){      OPT_BasicBlock curEdgeBB = block_outEdges.next();      // Is this block in the loop?      if((isInLoop(curEdgeBB) == false)&&(block != exit)){        // Block wasn't in the loop        throw new NonRegularLoopException("Parallelization giving up: edge out of block in loop to a block outside of the loop, and the block wasn't the loop exit" +                                          ((block == header) ? " (it was the header block though)" : ""));      }    } // end of loop_over_loop_body_block_out_edges  }