The visiting traits expected by the SMT2 parser.
Concrete identifier.
A visitor for the entire SMT2 syntax.