Method: AClassInvariantDefinition(ILexLocation, NameScope, Boolean, AAccessSpecifierAccessSpecifier, Pass, ILexCommentList, List, PExp)

ERROR: Error while reading the sourcefile!