Decidability properties for fragments of CHR