Checking cspFiles/RuleInterleaveOfBUF2_BUF0_BUF1_Inter.csp

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