GeneralizableElement - WFR2 - No generalizable element can have a supertype generalization to an element which is a leaf. ...