touistc: fixed --linter and --linter-expand in conjunction with -smt2
touistc: fixed --linter and --linter-expand in conjunction with -smt2

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