Bug when joining blocks

Split this:

And then try to join this again:


Yeah, I haven't yet convinced Jens that split by blocks should make a real abstract syntax tree including nonterminals, but this is a good example of why. Then you could distinguish between


(I am just making up the nonterminals off the top of my head, so I might have some details wrong. But you get the idea; the nonterminals help with grouping things.)

No, that's just a plain bug. :~)

Bug solved in 7.2.3