Added a check to ensure that the range is included in the domain of
a morphism in Iterate.