Checking cspFiles/BricRingCell4.csp

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