Fix failure in non-assertion builds on incorrect SmtEngine use.