Propagating regular counting constraints