K 10 svn:author V 4 ache K 8 svn:date V 27 2006-12-16T20:33:26.000000Z K 7 svn:log V 103 Fix NULL pointer reference for INVARIANTS case Submitted by: Yuriy Tsibizov END