Checking fdrLog/RuleInterleaveOfCell2_Cell3.csp

Checking STOP [T= RUN(inter(events(Cell2),events(Cell3)))
true

Checking newComponent :[deadlock free[FD]]
true