With this change an error message is emitted when the result of concretization is in an inconsistent state.