Semantic check

Merged Ralf Pernecker requested to merge semantic_check into master

Merge request reports