Adds confluence checking to the controllercheck application, as both properties should hold before a specification can be used in a PLC implementation.
Refactored computing MDD and other data into a new class, which is then made available to both finite response and confluence checking.
It is likely easier to read each commit separately.