Checking cspFiles/RuleCompositionOfBricRingCell1_BricRingCell2.csp