Radek Hušek authored Dec 10, 2015 and Radek Hušek committed Nov 09, 2017

If group has size 4 and graph contains one of following
subgraphs, it cannot be group-connected:
- vertex with all neighbours of degree 2
- vertex such that 2 of 3 his neighbours has degree 2 and so
  do their neighbours
- edge such that all 4 of her neighbours have degree 2