Update k-connexity test
Update comment in KConnexity