See #396 This should be easy to implement as a check at either the beginning of propagation or within the corresponding utilities.
