Clarify that in a propagator you should not construct an `Inconsistency::EmptyDomain`

[maartenflippo]

In the unit tests, we should test which variant of Inconsistency is returned.

[ImkoMarijnissen]

For now, I have added this as a simple check in the propagation loop when running an instance, we should also check this in the unit tests