Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
ModuleTypeChecker.javaFIXMEinternal error
ExitTypeCollector.javaTODOWe don't know what an expression will raise
ExitTypeCollector.javaTODOWe don't know what an operation call will raise
ExitTypeCollector.javaTODOWe don't know what an operation call will raise
ClassTypeChecker.javaFIXMEinternal error
ExitTypeCollector.javaTODOWe don't know what an expression call will raise
TypeCheckerStmVisitor.javaTODOfix
TypeCheckerExpVisitor.javaTODOcheck if this is still needed?!