Checking cspFiles/RuleInterleaveOfBUF0_BUF1_Inter_BUF2.csp

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