Conflict, Completeness, and Logical Loop Checkers, as well as the Compress Rules feature, are collectively known as validation and optimization functions. These topics are addressed briefly in the Corticon Studio Tutorial: Basic Rule Modeling , and in more depth in the Corticon Studio: Rule Modeling Guide.
On very rare occasions, expanding, compressing or completing very large Rulesheets may cause Corticon Studio to run out of memory. If this occurs, try increasing Corticon Studio's memory allotment by modifying the shortcut you used to launch Corticon Studio. Details on this procedure are included in the Corticon Installation Guide, Changing Corticon Studio Memory Allocation section.