<<rule>> Transform: Operation without Generic-Type - To - Operation with Bound Generic-Class-Parameter Sub-Type-Argument

<<preserve>> classWithTypeParameter : EClassifier <<forbid, pre>> preT : ETypeParameter <<preserve>> operation : EOperation <<preserve>> genericTypeOfTypedElement : EGenericType <<forbid, pre>> preTypeArgumentOfGenericTypeOfTypedElement : EGenericType <<preserve>> containingClass : EClass <<forbid, post>> postNoClassUsedAsTypeArgument : EClassifier <<create>> newT : ETypeParameter <<create>> newTypeArgumentOfGenericTypeOfTypedElement : EGenericType <<create>> newE : ETypeParameter <<preserve>> toClassUsedAsTypeArgument : EClass <<preserve>> toSubclassUsedAsTypeArgument : EClass <<create>> newBoundGenericType : EGenericType <<create>> newBoundingGenericType : EGenericType <<preserve>> eType <<preserve>> eClassifier <<forbid, post>> eClassifier <<create>> eTypeParameter <<require, post>> eAllSuperTypes <<create>> eClassifier <<create>> eClassifier <<forbid, pre>> eTypeParameters <<create>> eTypeParameters <<preserve>> eGenericType <<forbid, pre>> eTypeArguments <<create>> eTypeArguments <<create>> eTypeParameters <<create>> eBounds <<create>> eBounds <<preserve>> eContainingClass eOperations