Checking cspFiles/RuleInterleaveOfBUF2_BUF3.csp

Checking STOP [T= RUN(inter(events(BUF2),events(BUF3)))
true

Checking newComponent :[deadlock free[FD]]
true