Consistency check: existence of predecessors

The predecessors of a data model exist if there are neither inconsistent relationships nor inconsistent specializations.

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