if (split != null) { frame.bind(node, split.highestPos(node)); node = finishSplitShared(frame, node);
if (split != null) { frame.bind(node, split.highestPos(node)); node = finishSplitShared(frame, node);
if (split != null) { frame.bind(node, split.highestPos(node)); node = finishSplitShared(frame, node);
if (split != null) { frame.bind(node, split.highestPos(node)); node = finishSplitShared(frame, node);