Propagation redundancy in finite domain constraint satisfaction