CIF 'ControllerCheckerApp' has too much code
* It has a lot of duplicate code for the different checks, that we could move to common code that is shared between them.
* It has code that should not be in the application, if it is too be reusable in libraries.
* Conversion to BDD/MDD can be done in separate methods.
* Etc...
Addresses #892
issue