Method: IdStateDesignatorDefCollector(INode, List, ITypeCheckerAssistantFactory)

ERROR: Error while reading the sourcefile!