added ModelChecker
integrated ModelChecker -> BlockModel added SaveControl