Model export includes unnecessary external identities
Model export process includes all processed (undead) predicates as external identities even when the predicate does not appear in any exported statement. This happens especially for predicates in statements of external objects.