1 2 3
Checking cspFiles/RuleInterleaveOfBricRingCell1_BricRingCell0_P2INTER.cspChecking STOP [T= RUN(inter(events(BricRingCell1),events(BricRingCell0_P2INTER)))