Dependency Contract: Ignore all term labels when searching for base term#3776

wadoon merged 2 commits intoKeYProject:mainKeYProject/key:mainfrom

FliegendeWurst:udc-labelsFliegendeWurst/key:udc-labelsCopy head branch name to clipboard