esteffin Moved crosscheck-with-z3 to crosscheck-with-smt