Functionannotations#175

sipma merged 3 commits intostatic-analysis-engineering:masterstatic-analysis-engineering/codehawk:masterfrom

sipma:functionannotationssipma/codehawk:functionannotationsCopy head branch name to clipboard