- Adds Inconsistency constraint.