New yang parser allows two choice cases with identical child elements

Let's say we have a yang model which contains this:

choice ch {
case a {
leaf a

{ type string; }
}

case b {
leaf a { type string; }

}
}

This is invalid as both cases contain the same child (with identical QName). New yang parser should detect this problem and throw an Exception.