Module visitors
The visiting traits expected by the SMT2 parser.
A visitor for the entire SMT2 syntax.