YES
(ignored inputs)COMMENT Example 2
input TRS:
   [ @(@(@(S,?x),?y),?z) -> @(@(?x,?z),@(?y,?z)),
     @(@(K,?x),?y) -> ?x,
     @(I,?x) -> ?x,
     @(@(D,?x),?x) -> ?x,
     app(K,?x) -> @(I,?x),
     app(?x,K) -> ?x ]
Try persistent and layer-preserving decomposition...
Sort Assignment:
 @ : 20*20=>20
 D : =>20
 I : =>20
 K : =>20
 S : =>20
 app : 20*20=>20
maximal types: {20}
...decomposition failed.
TRS:
   [ @(@(@(S,?x),?y),?z) -> @(@(?x,?z),@(?y,?z)),
     @(@(K,?x),?y) -> ?x,
     @(I,?x) -> ?x,
     @(@(D,?x),?x) -> ?x,
     app(K,?x) -> @(I,?x),
     app(?x,K) -> ?x ]
unknown Non-Omega-Overlapping
Parallel Closed Conditional Linearization
problems/ex2.trs: Success(UNC)
(0 msec.)