Checking cspFiles/RuleInterleaveOfCell1_Cell2.csp

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

Checking Cell1_Cell2 :[deadlock free[FD]]
true