Enhancing constraints manipulation in semiring-based formalisms 1