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