Table bitfield

predicate bitfield(@variable id, int bits, int declared_bits)