Consistency check: existence of predecessors

The predecessors of a data model exist if the data model has neither inconsistent relationships nor inconsistent specializations.

Relationships and specializations are considered as inconsistent in this check if their source entity types do not exist.