Better approach to forcing string logics to contain UFLIA also.