Add test for k-connexity