Small refactoring
Added some comments.
first version of Modularizer returning valid modules.
Added macros to the tests to make easier to maintain.
Added meaningful toString method
improved readability of the code.
Improved the code:
- createSignature is now tail recursive.
added reasons to requires.
added logging capabilities.
added SetOfModules2Transition system that allows to transform a modular
transition system to a transition system.
fixed little typos.