Distinction between kConnexity and kConnectivity
Reducing verbosity
Moving Generation test to assertions
Merge remote-tracking branch 'origin/master'
Detecting endless loops