speedup bit_vector::num_words() Proof of equivalence w.r.t. previous code: http://rise4fun.com/Z3/aiLV
speedup bit_vector::num_words()
Proof of equivalence w.r.t. previous code: http://rise4fun.com/Z3/aiLV

Signed-off-by: Nuno Lopes <51e5d1eaeb8b342ba5960787a7112180a123b495@microsoft.com>

375670450/z3,belyaev-mikhail/z3,huangshiyou/z3,wujunzero/z3,zhuyue1314/z3,leodemoura/z3,seahorn/z3,seahorn/z3,jslhs/z3,zardus/z3,mschlaipfer/z3,mschlaipfer/z3,smilliken/z3,huangshiyou/z3,Drup/z3,Drup/z3,felixdae/z3,melted/z3,syjzwjj/z3,kyledewey/z3,smilliken/z3,Baha/z3,jirislaby/z3,leodemoura/z3,hguenther/z3,belyaev-mikhail/z3,conceptofproof/z3,leodemoura/z3,zhuyue1314/z3,conceptofproof/z3,belyaev-mikhail/z3,jirislaby/z3,syjzwjj/z3,375670450/z3,belyaev-mikhail/z3,seahorn/z3,Baha/z3,conceptofproof/z3,gmeer/z3,Baha/z3,conceptofproof/z3,Drup/z3,smilliken/z3,zardus/z3,zardus/z3,felixdae/z3,Baha/z3,zhuyue1314/z3,kyledewey/z3,jslhs/z3,huangshiyou/z3,jirislaby/z3,felixdae/z3,kyledewey/z3,felixdae/z3,gmeer/z3,kyledewey/z3,melted/z3,conceptofproof/z3,gmeer/z3,hguenther/z3,gmeer/z3,huangshiyou/z3,huangshiyou/z3,Drup/z3,wujunzero/z3,375670450/z3,wujunzero/z3,jirislaby/z3,jslhs/z3,hguenther/z3,zhuyue1314/z3,traiansf/z3-java,conceptofproof/z3,traiansf/z3-java,syjzwjj/z3,jslhs/z3,leodemoura/z3,Drup/z3,gmeer/z3,Drup/z3,seahorn/z3,smilliken/z3,zardus/z3,leodemoura/z3,kyledewey/z3,smilliken/z3,traiansf/z3-java,felixdae/z3,belyaev-mikhail/z3,mschlaipfer/z3,melted/z3,mschlaipfer/z3,375670450/z3,seahorn/z3,Baha/z3,syjzwjj/z3,traiansf/z3-java,melted/z3,zardus/z3,melted/z3,traiansf/z3-java,belyaev-mikhail/z3,zhuyue1314/z3,hguenther/z3,hguenther/z3,leodemoura/z3,wujunzero/z3,kyledewey/z3,syjzwjj/z3,375670450/z3,375670450/z3,traiansf/z3-java,wujunzero/z3,zardus/z3,mschlaipfer/z3,Baha/z3,mschlaipfer/z3,melted/z3,hguenther/z3,gmeer/z3,jslhs/z3,zhuyue1314/z3,huangshiyou/z3,felixdae/z3,smilliken/z3,syjzwjj/z3,wujunzero/z3,jirislaby/z3,jirislaby/z3,seahorn/z3,jslhs/z3