Fix a small problem in $use_smt compatibility with TRQ-2124.