Switched Deletion of ContractCompKeywords from CompoistionTime to FST
Generationtime.
This is important, if no Compisition is done.

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