1 2 3
Checking cspFiles/RuleInterleaveOfBUF2_BUF0_BUF1_Inter.cspChecking STOP [T= RUN(inter(events(BUF2),events(BUF0_BUF1_Inter)))