Zahlreiche Bugfixes.
Fehlermarker für final_method, fehlerhafte ContractComposition an falsch
überschreibende Methode gesetzt.