fixed right shifting bug for smtlib2