touistc: fixed -smt2 that could not accept a unique proposition 'a'
touistc: fixed -smt2 that could not accept a unique proposition 'a'

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