test uniqueness of labels
Make sure that the labels are unique between multiple expressions/statements as well as between different kinds.
Make sure that the labels are unique between multiple expressions/statements as well as between different kinds.