Add contract check

m-bitset.h

@@ -243,6 +243,7 @@ bitset_pop_back(bool *dest, bitset_t v)
 static inline bool
 bitset_back(bitset_t v)
 {
+  BITSETI_CONTRACT (v);
   assert(v->size > 0);
   return bitset_get(v, v->size-1);
 }