Added test coverage for ConstraintPropagation

Also refined when a Constraint is applied based on the newly introduced
exactMatch method.