ref: 30ed73a98df14cb18296e7d2178227e6392a8ff7 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)