stainless example.scala --debug=smt --solvers=smt-cvc5 --vc-cache=false

