<<rule>> Transform: Operation with Unbound Generic-Parameter Type-Argument - To - Operation with Bound Generic-Parameter Type-Argument

<<forbid, pre>> preClassifierUsedAsTypeArgument : EClassifier <<preserve>> classifierWithTypeParameter : EClassifier <<preserve>> T : ETypeParameter <<preserve>> operation : EOperation <<preserve>> genericTypeOfTypedElement : EGenericType <<preserve>> typeArgumentOfGenericTypeOfTypedElement : EGenericType <<preserve>> containingClass : EClass <<preserve>> toClassifierUsedAsTypeArgument : EClassifier <<preserve>> eType <<preserve>> eClassifier <<forbid, pre>> eClassifier <<create>> eClassifier <<preserve>> eTypeParameters <<preserve>> eGenericType <<preserve>> eTypeArguments <<preserve>> eContainingClass eOperations