Checking cspFiles/RuleCompositionOfBUFF0_BUFF1.csp