Mostly working code for ring detection.

* Ring systems are detected too.
* Ring pruning can be tuned to employ two-ring bridging conditions
  to fine tune it, based on counter examples.