added test for SetOfModules2TransitionSystemWithAnonimization
Fixed formatting
Removed some printlns from tests.
Added command line feature: show modules