Checking cspFiles/BricRingCell0.csp