Confluence check: introduce methods for separate checks (mutual exclusive, update equivalent, etc)
Now the method is a bit long. Also, all the details of pairs and the different checks are merged into a single method, which is not very readable that way. It will likely worsen due to #1008 (closed), when we add more termination checks.
Addresses #892