use BitSet over Set<Integer> for branchTargets