Subcomponent symbol refactoring; refactored symbol transformation tests; added special IComponent and Component symbols to SymbolResolver; subcomponents of type Component and IComponent are now supported
Added first incomplete implementation of SpinModelChecker class for unit tests in model projects; fixed compilation problems with Elbtunnel project, temporarily removing all formula-related code; fixed output location of ssc compiler
Added CSharpNormalizer; implemented update method visibility normalizer to workaround a F# limitation (protected is not supported)