BVTypeExtractor should not be sealed
Created by: manoskouk
Other projects may want to create extractors for unsigned bitvector types, so it seems this class should be extensible
Created by: manoskouk
Other projects may want to create extractors for unsigned bitvector types, so it seems this class should be extensible