* if both labels of a case label are equal, we still cannot skip the comparison in a jump tree, resolves #31589 git-svn-id: trunk@35880 -