Merging CAV14 paper bit-vector work.