[Documentation] Wrong specs in Implied and Reif constraints/propagators

[363734]

Hi,

When reading the code about implied and reification constraints, I noticed there are a few specifications issues (probably copy-paste related).

Both constraints share the same spec


Which is correct for Reification but not true for Implication.
In addition, they both use (in their constructor) the constraint name 'ConstraintsName.REIFICATIONCONSTRAINT' which may be correct if you use it as a category, but not if you use the name as the name of the actual constraint.

On the propagator side, they also share the same spec


Which is correct for Implication but not correct for Reification

Kind regards,
Hélène