1 2 3
Checking cspFiles/BricRingCell1.cspChecking Test(inter(inputs(BricRingCell1),outputs(BricRingCell1)) == {}) [T= ERROR