#145 Add confluence check to controllercheck

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.