Checking cspFiles/RuleInterleaveOfBUF2_BUF3_Inter_BUF4.csp

Checking STOP [T= RUN(inter(events(BUF2_BUF3_Inter),events(BUF4)))
true

Checking newComponent :[deadlock free[FD]]
true