split_insert_right adjusted to use pred b.