Special Cases

The following is a list of special cases:

Imported or exported dependency migrated only if the other functions importing or exporting the dependency exist in the destination model.
A mutually exclusive or parallel dependency is migrated if the input function and at least two of the output functions participating in the dependency exist in the destination model.
A closure dependency is migrated if the mutually exclusive dependency that is being closed and at least two of the input functions and the output function exist in the destination model.