Implement quickfix for MANY_CLASSES_IN_SUPERTYPE_LIST