Именно так. Правила касаются только верхних точек и никак не могут касаться правых. В данном случае такой конструктив был выбран из общих соображений построения схемы, где данные, снимаемые с точки onPart являются конечными, а то, что снимается с точки onSplit предполагает подключения такого же элемента с образованием каскада. Аналогичное поведение кстате у компонента Case