Enums: Take care in refinement that no new elements appear#1675

michael-schwarz merged 1 commit intomastergoblint/analyzer:masterfrom

alternative_1673goblint/analyzer:alternative_1673Copy head branch name to clipboard