static BitSet bitSetFromLabelList(BasicBlockList blocks,IntList labelList){
  BitSet result=new BitSet(blocks.size());
  for (int i=0, sz=labelList.size(); i < sz; i++) {
    result.set(blocks.indexOfLabel(labelList.get(i)));
  }
  return result;
}

static BitSet bitSetFromLabelList ( BasicBlockList blocks , IntList labelList ) { BitSet result = new BitSet ( blocks . size ( ) ) ; for ( int i = 0 , sz = labelList . size ( ) ; i < sz ; i ++ ) { result . set ( blocks . indexOfLabel ( labelList . get ( i ) ) ) ; } return result ; }
builds a bitset of block indices from a basic block list and a list of labels taken from rop form .
