A CHR-based implementation of known arc-consistency