Checking cspFiles/BricRingCell3.csp

Checking Test(inter(inputs(BricRingCell3),outputs(BricRingCell3)) == {}) [T= ERROR