ref: 1aa307355c68e60a2cfb8be104ad6f2783d7bd14 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)