Added example for generalized morphism PreCompose.

Test file contains bug information.