--solvers=smt-cvc4-cex
--solvers=smt-cvc4-proof

Update scala-smtlib with support for parsing special DefFunsRec