Checking cspFiles/BricRingCell1.csp