Checking cspFiles/RuleInterleaveOfBricRingCell0_BricRingCell1.csp

Checking STOP [T= RUN(inter(events(BricRingCell0),events(BricRingCell1)))
true

Checking newComponent :[deadlock free[FD]]
true