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

ERROR: Error while reading the sourcefile!