Add spec for split_vertex. Part of #7