Johnkoenig add semantic checks#2

pulltab wants to merge 3 commits intomasterpulltab/epddl:masterfrom

johnkoenig-add-semantic-checkspulltab/epddl:johnkoenig-add-semantic-checksCopy head branch name to clipboard