has_bits(X: field, Y: u8) :- X = to_field(Y).