modelize_class: Don’t crash on a formal supertype