Fixed bug in smtlib translation