Checking cspFiles/RuleInterleaveOfBUF0_BUF1_Inter_BUF2.csp

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

Checking newComponent :[deadlock free[FD]]
true