CF(q,q) & (CC & CF)(QQ)
CF(Q,Q) & (CF & PC)(q,q)
CF(Q,q) & (CF & PC)(Q,q)
test start-node
CF(r,r) & CF(R,R,R)
CF(r,r) & CF(r,r)
CF(r,r) & (CC & CF)(RR)
CF(b,b) & CF(b,b,b)
CF(B,B) & CF(b,b,b)
(CC & CF)(BB) & (CC & CF)(BB)
CF(b,b) & (CC & CF)(BB)
PR(Q-R-B-S)
IN(Qq) & IN(Qq)
IN(RR) & IN(RR)
IN(RRRRRR)
IN(Rr) & IN(Rr)
IN(RR) & IN(rr)
IN(Rr) & IN(Rr) & SW(R,r)
IN(Rr) & IN(Rr) & IN(Qq) & IN(Bb) & IN(Bb)
(IN & IN)(RR)
IN(BB) & IN(bb)
IN(Bb) & IN(Bb)
IN(Bb) & IN(Bb) & IN(Qq) & IN(Rr) & IN(Kk)
IN(Bb) & IN(Bb) & IN(Qq) & IN(Rr) & IN(Ss)
IN(Ss) & IN(Ss)
IN(Ss) & IN(Ss) & IN(Qq)
