Remove a workaround in bit-vector consets