ref: cc577d232d1f8c942e52eab59f1e99dae3964d8f 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)