test
refactored to generator naming
bugfix in ClassDefinition
fixed unit tests
implemented invariant check on property change