Add a new propagator for Implication (B, C1, C2)
Merge branch 'feature-implies' into develop