Made bitvector module more readable. Added comments and changed variable names
Made bitvector module more readable. Added comments and changed variable names

tinelli/kind2,tinelli/kind2,tinelli/kind2,daniel-larraz/kind2,tinelli/kind2,kind2-mc/kind2,tinelli/kind2,tinelli/kind2