Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): CASL_Formulas SubsortingFeatures SortGenerationFeatures CASL_SL RawSymbol Morphism DefMorExt OpType PredType SymbType Symbol Sign BASIC_SPEC BASIC_ITEMS SortsKind SIG_ITEMS SORT_ITEM OP_ITEM OpKind OP_TYPE OP_HEAD OP_ATTR PRED_ITEM PRED_TYPE PRED_HEAD DATATYPE_DECL ALTERNATIVE COMPONENTS VAR_DECL Junctor Relation Equality FORMULA Constraint QUANTIFIER PRED_SYMB TERM OP_SYMB SYMB_ITEMS SYMB_MAP_ITEMS SYMB_KIND SYMB TYPE SYMB_OR_MAP