1 2 3 4 5 6 7
Checking cspFiles/RuleInterleaveOfCell1_Cell2.csp Checking STOP [T= RUN(inter(events(Cell1),events(Cell2))) true Checking Cell1_Cell2 :[deadlock free[FD]] true
