ComputedBBEnum ans = new ComputedBBEnum(getNumberOfExceptionalOut());
int count = 0; for (OPT_BasicBlockEnumeration inScope = getExceptionHandlers(); inScope.hasMoreElements(); inScope.next()) { count++; }  ComputedBBEnum ans = new ComputedBBEnum( count );
  public final OPT_BasicBlockEnumeration getReachableExceptionHandlers() {    if (hasExceptionHandlers()) {      ComputedBBEnum ans = new ComputedBBEnum(getNumberOfExceptionalOut());      for (OPT_BasicBlockEnumeration inScope = getExceptionHandlers(); 	   inScope.hasMoreElements(); ) {	OPT_BasicBlock cand = inScope.next();	if (pointsOut(cand)) ans.addPossiblyDuplicateElement(cand);      }      return ans;    } else {      return OPT_BasicBlockEnumeration.Empty;    }  }