PROBLEM( NoProblem )
PROBLEM( Other )
PROBLEM( Assert )
PROBLEM( InvalidDereference )
PROBLEM( InvalidArgument )
PROBLEM( OutOfBounds )
PROBLEM( DivisionByZero )
PROBLEM( UnreachableExecuted )
PROBLEM( MemoryLeak )
PROBLEM( NotImplemented )
PROBLEM( Uninitialised )
PROBLEM( PointsToViolated )
PROBLEM( Deadlock )

PROBLEM( Trace )

PROBLEM( End ) // not used as error, only to indicate number of problems
