Require Box Attributes for Instance Boxes Report Errors/Warnings for Unresolved Elements Apply tests 4075 and 4077 to offpage instances Apply tests 4075 and 4077 to Activities with Selected-Implementation “None” Enhanced Show in Model in Results Tree Statemate MicroC Compatibility Tests (for Rational Statemate) Run Database Diagnostics before profile execution Optimize report of used/affected test results