COMPACT_COMP_SEQS DEBUG EXPAND_SEQ INITIAL_INSTANTS_SEQ INITIAL_SEQUENCES_SEQSET main MAX_INSTANTS MAX_INSTANTS_SEQ MAX_LENGTH_TEXT NO_INSTANTS_BATCH

EXPAND_SEQ #define EXPAND_SEQ   true