modelize_class: Test the handling of a formal supertypes