Checking cspFiles/RuleInterleaveOfBricRingCell2_BricRingCell3.csp

Checking STOP [T= RUN(inter(events(BricRingCell2),events(BricRingCell3)))
true

Checking newComponent :[deadlock free[FD]]
true