Added split_insert_right. cons case not yet proved.