Checking cspFiles/RuleInterleaveOfBUF0_BUF1.csp

Checking STOP [T= RUN(inter(events(BUF0),events(BUF1)))
true

Checking newComponent :[deadlock free[FD]]
true