Represents a basic class for the invocation of decisison procedures accepting the SMT-LIB
format as input language on the translation of a KeY Goal.
An instance of this class takes a Goal, translates it in into a Benchmark
for the SMT logic (QF_)AUFLIA and stores this translation result in a temporary file.
This class is intended to be subclassed by classes which invoke a concrete decision procedure
supporting the SMT-LIB logic (QF_)AUFLIA.