the standard is the code
update to last version of scala-smtlib