1 2 3 4 5 6 7
Checking cspFiles/RuleInterleaveOfBricRingCell0_P2.csp Checking STOP [T= RUN(inter(events(BricRingCell0),events(P2))) true Checking newComponent :[deadlock free[FD]] true
