Revert "Add super new connectedness simplification"
Revert "Add super new connectedness simplification"

This reverts commit 70f98ba85a545e60c3ec18beb8ed5a5256f9bb1f.

It appears to cause incompleteness!

nick8325/twee,nick8325/twee,nick8325/kbc,nick8325/twee