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