Checking cspFiles/RuleInterleaveOfBUF0_BUF0.csp