Incorrect name in for repeated magic block
Created by: anujk14
A choice/interleave that has a one/zeroOrMore as its child gets assigned the block number as part of its notch label and childrenInfo list. If this one/zeroOrMore turns out to be a repeated child for which a block has already been created, we get an incorrect notch label as well as childrenInfo list (since currently childrenInfo uses pretty names) .
Example to test bug : bug_05_choice_having_oneOrMore_having_wrong_name.rng