Method: ASpecificationStm(ILexLocation, PType, ILexCommentList, List, PExp, PExp, List)

ERROR: Error while reading the sourcefile!