modification of the cleanUp scheme, preparation of the readers architecture, removal of attributes in LTS (use of label for transition instead), removal of the loaded mechanism in models