When using -smt2, check the logic has been given
When using -smt2, check the logic has been given

It can be either:
- QF_IDL
- QF_RDL
- QF_LIA
- QF_LRA

olzd/touist,olzd/touist,olzd/touist,touist/touist,touist/touist,touist/touist,FredMaris/touist,touist/touist,FredMaris/touist,FredMaris/touist