overall tc-generation procedure is working. More tests to do and
to implement the combinatory explosion. SMT tokens moved to annotation-file.
Missing: default values for tokens and solver settings (if possible).