Remove duplicate Symbols caused by a Label#33

jasperdenkers merged 2 commits intometaborg:develop/jsglr2metaborg/sdf:develop/jsglr2from

mpsijm:remove-duplicate-symbols-with-labelmpsijm/sdf:remove-duplicate-symbols-with-labelCopy head branch name to clipboard