Suppress warning with recent version smtlib2