Bugfix: wrong sucess message for NoUselessVariables
BugFix: Variables used multiple times while not written generate 1 error
Model name is printed before verification when verbose is set to true.
Modified the tool tip for the verification file.
BugFix: All external events were considered as ModelCheckerEvents.
Removed the notice of non-exclusive identical transitions.
Improved the default log file management.
Added the new checker (from a split) into the default verifiers.
Beginning of a real private test.