I found the classes and .ecf file for the original report (attached). With these classes, there is an invariant violation when calling {EV_HORIZONTAL_SPLIT_AREA}.extend (tag is splitter_in_valid_position_minimum). This fails with the above invariant violation on 5.7.65008. I am unable to test with 6.0.67183 (the latest Solaris SPARC version) because I apparently cannot get the compiler to monitor all assertions on Vision2 library (or at least the trace output seems to indicate that it isn't monitoring them). Please try with the attached classes on latest 6.0, if you know how to get it to monitor all assertions on every class. Reopening report.