Fix #70: branches containing leaves with the same names