Composition works
Cumulative / Conjunctive must be implemented
composition for method based started
Removing Keywords in contracts during the composition
Extended FSTTerminal -> stores the contract composition keyword now
Vorbedingungen fuer conjunctive cr works
Cumulative Contract Refinement works

TODO: Conj + Cum CR Multiple Spec Cases
Conj CR + Cumu CR refactored
Cumulative + Conjunctive Contract Refinement work
Check if composition contains non jml keywords
TODO throw exception
Check if Method is refined when using keyword \final_method
 -> not allowed
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
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
Include Composition Exception
Composition Exception
CompositionException fixed
Changed CompositionException ErrorMarker to Warning
Added CompositionException for PlainContracting
Merge pull request #11 from aweigelt/master

Method-based Contract Composition