touistc: smt: print the faulty AST when throwing errors
touistc: smt: print the faulty AST when throwing errors

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