Yangtools parser allows 2 cases with same child elements

Lets say we have yang model containing:

choice ch {
case a {
leaf a

{ type string; }
}

case b {
leaf a { type string; }

}
}

This is invalid as both cases add the same child. Yangtools parser should detect this problem and fail.