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