Fix failure in non-assertion builds on incorrect SmtEngine use.
Merge branch '1.2.x'