Confluence check: improve termination checking responsiveness

• The createZeroToOldVarsRelations method is expensive, and should do more termination checks. It may then return null, so after calls to this method, we should check for termination as well.
• The main method of the check could use more termination checks as well. At the least after every expensive BDD operation.

Addresses #892