Fix for (get-assignment), resolves bug 553.
New --tear-down-incremental mode, useful for debugging and performance profiling.
Better approach to forcing string logics to contain UFLIA also.