use BitSet instead of Set<Integer> for line numbers