Situations like [top_button over [label, button]] need some subtle handling, since we only store one neighbor per side of a button...
Situations like [top_button over [label, button]] need some subtle handling, since we only store one neighbor per side of a button...