Switched Deletion of ContractCompKeywords from CompositionTime to
FSTGenerationtime.
This is important, if no Composition is done.

Fixed bugs for \\final_method
Fixed bugs for brackets in cumulative / conjunctive contract refinement