ref: a4229eb282ca32bc14103a33092e94382c3c7ca0 dir: /tests/PartRed.ref/
K2 (K #1) K3 (K #1) (K2 #1) K4 (K #1) (K3 #1) (K2 #1) (B neg) C'B ((B (+ #99)) neg) Z (K #-11) R ((C +) #22)