Fix for an array-of-record model generation assert-fail (assert was too strong).
Fix comment in SmtEngine.
Merge branch '1.4.x'.