de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2 (SMTInterpol 2.1 Public API)