Checking cspFiles/RuleInterleaveOfBricRingCell2_BricRingCell0_BricRingCell1_INTER.csp

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

Checking newComponent :[deadlock free[FD]]
true