New --tear-down-incremental mode, useful for debugging and performance profiling.
Better approach to forcing string logics to contain UFLIA also.